A framework for deductive database systems
Dik Lun Lee, Weixue Lu
Abstract
Dik Lun Lee, Weixue Lu
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.>
OpenAlex reports 1 citations for this work. Citation counts describe recorded attention and do not establish research quality.
A contribution statement is not available in the OpenAlex record.
Method details are not available in the OpenAlex metadata.
Findings are not separately available in the OpenAlex metadata.
Limitations are not available in the OpenAlex metadata.
Application details are not available in the OpenAlex metadata.
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.>
Key concepts: Datalog, Deductive database, Computer science, Database theory, Relational database, Logic programming, MAGIC (telescope), Database design