Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
On the declarative semantics of deductive databases and logic programs
Foundations of deductive databases and logic programming
Logic programming and databases
Logic programming and databases
General logical databases and programs: default logic semantics and stratification
Information and Computation
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Shortest path by approximation in logic programs
ACM Letters on Programming Languages and Systems (LOPLAS)
Implementation of the CORAL deductive database system
SIGMOD '93 Proceedings of the 1993 ACM SIGMOD international conference on Management of data
Extrema predicates in deductive databases
Journal of Computer and System Sciences
Tabled evaluation with delaying for general logic programs
Journal of the ACM (JACM)
SIGMOD '97 Proceedings of the 1997 ACM SIGMOD international conference on Management of data
Advanced database systems
NP optimization problems in Datalog
ILPS '97 Proceedings of the 1997 international symposium on Logic programming
Greedy algorithms in Datalog with choice and negation
JICSLP'98 Proceedings of the 1998 joint international conference and symposium on Logic programming
The Semantics of Predicate Logic as a Programming Language
Journal of the ACM (JACM)
Extending the Smodels system with cardinality and weight constraints
Logic-based artificial intelligence
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
IEEE Transactions on Knowledge and Data Engineering
The Nonmonotonic Semantics of Active Rules in Deductive Databases
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Using SQL to Build New Aggregates and Extenders for Object- Relational Systems
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Aggregation and Relevance in Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
Proceedings of the 12th International Workshop on Computer Science Logic
Logic and Databases: A 20 Year Retrospective
LID '96 Proceedings of the International Workshop on Logic in Databases
A framework for reasoning with rough sets
Transactions on Rough Sets IV
| Hi-index | 0.00 |
We extend the fixpoint and model-theoretic semantics of logic programs to include unique key constraints in derived relations. This extension increases the expressive power of Datalog programs, while preserving their declarative semantics and efficient implementation. The greater expressive power yields a simple characterization for the notion of set aggregates, including the identification of aggregates that are monotonic with respect to set containment and can thus be used in recursive logic programs. These new constructs are critical in many applications, and produce simple logic-based formulations for complex algorithms that were previously believed to be beyond the realm of declarative logic.