A survey of deductive database systems
- 1 May 1995
- journal article
- Published by Elsevier in The Journal of Logic Programming
- Vol. 23 (2) , 125-149
- https://doi.org/10.1016/0743-1066(94)00039-9
Abstract
No abstract availableKeywords
This publication has 83 references indexed in Scilit:
- Rule ordering in bottom-up fixpoint evaluation of logic programsIEEE Transactions on Knowledge and Data Engineering, 1994
- DECLARE and SDS: Early efforts to commercialize deductive database technologyThe VLDB Journal, 1994
- Pushing constraint selectionsThe Journal of Logic Programming, 1993
- Magic templates: a spellbinding approach to logic programsThe Journal of Logic Programming, 1991
- A rule-based language with functions and setsACM Transactions on Database Systems, 1991
- The LDL system prototypeIEEE Transactions on Knowledge and Data Engineering, 1990
- A logical language for data and knowledge basesChoice Reviews Online, 1989
- Principles of database and knowledge-base systemsChoice Reviews Online, 1989
- A generalization of the differential approach to recursive query evaluationThe Journal of Logic Programming, 1987
- On recursive axioms in deductive databasesInformation Systems, 1983