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
Every logic program has a natural stratification and an iterated least fixed point model
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Advanced 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
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
Semantics and expressive power of nondeterministic constructs in deductive databases
Journal of Computer and System Sciences
The logic of totally and partially ordered plans: a deductive database approach
Annals of Mathematics and Artificial Intelligence
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
ELS Programs and the Efficient Evaluation of Non-Stratified Programs by Transformation to ELS
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Active Database Rules with Transaction-Conscious Stable-Model Semantics
DOOD '95 Proceedings of the Fourth International Conference on Deductive and Object-Oriented Databases
Datalog++: A Basis for Active Object-Oriented Databases
DOOD '97 Proceedings of the 5th International Conference on Deductive and Object-Oriented Databases
Query Answering in Nondeterministic, Nonmonotonic Logic Databases
FQAS '98 Proceedings of the Third International Conference on Flexible Query Answering Systems
Modeling and Querying Semi-structured Data
SCIE '97 International Summer School on Information Extraction: A Multidisciplinary Approach to an Emerging Information Technology
On the Effective Semantics of Nondeterministic, Nonmonotonic, Temporal Logic Databases
Proceedings of the 12th International Workshop on Computer Science Logic
Experiences with a Logic-Based Knowledge Discovery Support Environment
AI*IA '99 Proceedings of the 6th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Specifying Mining Algorithms with Iterative User-Defined Aggregates: A Case Study
PKDD '01 Proceedings of the 5th European Conference on Principles of Data Mining and Knowledge Discovery
Making Knowledge Extraction and Reasoning Closer
PADKK '00 Proceedings of the 4th Pacific-Asia Conference on Knowledge Discovery and Data Mining, Current Issues and New Applications
On Verification in Logic Database Languages
CL '00 Proceedings of the First International Conference on Computational Logic
Specifying Mining Algorithms with Iterative User-Defined Aggregates
IEEE Transactions on Knowledge and Data Engineering
Temporal stratification tests for linear and branching-time deductive databases
Theoretical Computer Science
| Hi-index | 0.00 |
We consider in this paper an extension of Datalog with mechanisms for temporal, nonmonotonic, and nondeterministic reasoning, which we refer to as Datalog++. We show, by means of examples, its flexibility in expressing queries concerning aggregates and data cube. Also, we show how iterated fixpoint and stable model semantics can be combined to the purpose of clarifying the semantics of Datalog++ programs and supporting their efficient execution. Finally, we provide a more concrete implementation strategy on which basis the design of optimization techniques tailored for Datalog++ is addressed.