Foundations of logic programming
Foundations of logic programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
ACM Transactions on Database Systems (TODS)
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
Hi-index | 0.00 |
Deductive Databases formalize and extend relational databases. A deductive database (DDB) consists of a set of facts, a set of rules, and a set of integrity constraints. From the set of rules and the facts it is possible to derive new facts not contained in the original set of facts. The integrity (ICs) describe properties that entries in the database should satisfy.