Title :
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
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;
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
DOI :
10.1109/RIDE.1994.282847
