Fixpoint iteration with subsumption in deductive databases
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Journal of Intelligent Information Systems
- Vol. 4 (2) , 123-148
- https://doi.org/10.1007/bf00961871
Abstract
No abstract availableKeywords
This publication has 18 references indexed in Scilit:
- Database support for problematic knowledgePublished by Springer Nature ,2005
- A logic for programming with complex objectsJournal of Computer and System Sciences, 1993
- Foundations of aggregation in deductive databasesPublished by Springer Nature ,1993
- Fixpoint Evaluation with Subsumption for Probabilistic UncertaintyPublished by Springer Nature ,1993
- New direction for uncertainty reasoning in deductive databasesPublished by Association for Computing Machinery (ACM) ,1991
- Introducing knowledge representation techniques in database modelsPublished by Springer Nature ,1991
- Logic-based approach to semantic query optimizationACM Transactions on Database Systems, 1990
- A generalization of the differential approach to recursive query evaluationThe Journal of Logic Programming, 1987
- Foundations of Logic ProgrammingPublished by Springer Nature ,1987
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955