Languages that capture complexity classes
SIAM Journal on Computing
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Towards a theory of declarative knowledge
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Negation as failure using tight derivations for general logic programs
Journal of Logic Programming
Towards Banishing the Cut from Prolog
IEEE Transactions on Software Engineering
The expressive power of stratified logic programs
Information and Computation
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Journal of Computer and System Sciences
A catalog of complexity classes
Handbook of theoretical computer science (vol. A)
Elements of relational database theory
Handbook of theoretical computer science (vol. B)
A non-deterministic deductive database language
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On Datalog vs. polynomial time
Journal of Computer and System Sciences
Extrema predicates in deductive databases
Journal of Computer and System Sciences
On the expressive power of datalog: tools and a case study
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The expressive powers of the logic programming semantics (extended abstract)
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Stable models and non-determinism in logic programs with negation
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Non-deterministic languages to express deterministic transformations
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Data Structures and Algorithms
Data Structures and Algorithms
Computers and Intractability: A Guide to the Theory of NP-Completeness
Computers and Intractability: A Guide to the Theory of NP-Completeness
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
DATALOG Queries with Stratified Negation and Choice: from P to DP
ICDT '95 Proceedings of the 5th International Conference on Database Theory
CORAL - Control, Relations and Logic
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
The complexity of relational query languages (Extended Abstract)
STOC '82 Proceedings of the fourteenth annual ACM symposium on Theory of computing
A classification-based methodology for planning audit strategies in fraud detection
KDD '99 Proceedings of the fifth ACM SIGKDD international conference on Knowledge discovery and data mining
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Nondeterministic, Nonmonotonic Logic Databases
IEEE Transactions on Knowledge and Data Engineering
Querying with Intrinsic Preferences
EDBT '02 Proceedings of the 8th International Conference on Extending Database Technology: Advances in Database Technology
Logic Programs for Querying Inconsistent Databases
PADL '03 Proceedings of the 5th International Symposium on Practical Aspects of Declarative Languages
A Transformation Technique for Datalog Programs Based on Non-deterministic Constructs
LOPSTR '01 Selected papers from the 11th International Workshop on Logic Based Program Synthesis and Transformation
On Verification in Logic Database Languages
CL '00 Proceedings of the First International Conference on Computational Logic
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
Preference formulas in relational queries
ACM Transactions on Database Systems (TODS)
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Consistent query answering in databases
ACM SIGMOD Record
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Proceedings of the 2nd international conference on Semantics in databases
Towards unifying semantic constraints and security constraints
Proceedings of the 2nd international conference on Semantics in databases
Logic programming languages for databases and the web
A 25-year perspective on logic programming
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Repairing inconsistent dimensions in data warehouses
Data & Knowledge Engineering
Hi-index | 0.00 |
While non-determinism has long been established as a key concept in logic pro-gramming, its importance in the context of deductive databases was recognized only recently. This paper provides an overview of recent results on this topic with the aim of providing an introduction to the theory and practice of non-determinism in deductive databases. In particular we (i) recall the main results linking non-deterministic constructs in database languages to the theory of data complexity and the expressibility hierarchy of query languages; (ii) provide a reasoned introduction to effective programming with non-deterministic constructs; (iii) compare the usage of non-deterministic constructs in languages such as LDL++ to that of traditional logic programming languages; (iv) discuss the link between the semantics of logic programs with non-deterministic constructs and the stable-model semantics of logic programs with negation.