Meta-level control of rule execution in a parallel and distributed expert database system

Author

Dewan, H.M. ; Stolfo, Salvatore J.

Author_Institution

Dept. of Comput. Sci., Columbia Univ., New York, NY, USA

fYear

1994

Firstpage

105

Lastpage

114

Abstract

The PARADISER system is a parallel and distributed programming environment for expert databases. It extends the memory model of expert systems to disk-resident databases, and adopts parallel and distributed processing to address expert system scaling issues. The kernel rule language, PARULEL, has parallel execution semantics and a metarule facility that allows for user-specified “programmable” conflict resolution. Under a parallel and distributed processing model of a rule language that has inherently parallel execution semantics, issues of distributed control assume paramount importance, since database consistency and synchronization must be guaranteed. We discuss various alternative strategies for implementing metarules within the PARADISER architecture

Keywords

deductive databases; distributed databases; expert systems; high level languages; logic programming; parallel programming; PARADISER system; PARULEL; database consistency; disk-resident databases; distributed control; distributed expert database system; distributed processing model; distributed programming environment; expert databases; expert system scaling issues; kernel rule language; memory model; meta-level control; metarule facility; metarules; parallel execution semantics; rule execution; user-specified programmable conflict resolution; Computer science; Control systems; Database systems; Distributed control; Distributed databases; Distributed processing; Expert systems; Kernel; Load management; Protocols;

fLanguage

English

Publisher

ieee

Conference_Titel

Research Issues in Data Engineering, 1994. Active Database Systems. Proceedings Fourth International Workshop on

Conference_Location

Houston, TX

Print_ISBN

0-8186-5360-4

Type

conf

DOI

10.1109/RIDE.1994.282847

Filename

282847