Title :
A framework for deductive database systems
Author :
Lee, Dik L. ; Lu, Wenyu
Author_Institution :
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
Abstract :
The authors investigate various aspects of the development of deductive database systems, which integrate logic into traditional relational database systems. The authors review the database language Datalog, a version of a logic programming language for deductive database systems. The efficiency issues of query processing in the context of two popular query processing methods, the magic-set method and the structural-analysis method, are discussed. SARP (structural approach to rule processing), a framework of deductive database systems based on structural analysis, is described
Keywords :
deductive databases; logic programming; query languages; SARP; database language Datalog; deductive database systems; efficiency issues; logic; logic programming language; magic-set method; query processing; relational database; structural approach to rule processing; structural-analysis method; Data engineering; Database languages; Database systems; Deductive databases; Humans; Information science; Logic programming; Power engineering and energy; Query processing; Relational databases;
Conference_Titel :
Computer and Communication Systems, 1990. IEEE TENCON'90., 1990 IEEE Region 10 Conference on
Print_ISBN :
0-87942-556-3
DOI :
10.1109/TENCON.1990.152723
