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 logic-based language for database updates
Foundations of deductive databases and logic programming
A logical language for data and knowledge bases
A logical language for data and knowledge bases
Declarative expression of deductive database updates
PODS '89 Proceedings of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Logic programming and databases
Logic programming and databases
Intensional updates: abduction via deduction
Logic programming
Database updates through abduction
Proceedings of the sixteenth international conference on Very large databases
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
ICLP'93 Proceedings of the tenth international conference on logic programming on Logic programming
An overview of transaction logic
Theoretical Computer Science - Special issue on formal methods in databases and software engineering
ROL: a deductive object base language
Information Systems
An Overview of the Rule-Based Object Language
Journal of Intelligent Information Systems
Database updates in logic programming
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Deductive database languages: problems and solutions
ACM Computing Surveys (CSUR)
Programming with Logical Queries, Bulk Updates, and Hypothetical Reasoning
IEEE Transactions on Knowledge and Data Engineering
Transactions and Updates in Deductive Databases
IEEE Transactions on Knowledge and Data Engineering
ICDT '88 Proceedings of the 2nd International Conference on Database Theory
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
ROL2: A Real Deductive Object-Oriented Database Language
ER '98 Proceedings of the 17th International Conference on Conceptual Modeling
Database Programming in Transaction Logic
DBLP-4 Proceedings of the Fourth International Workshop on Database Programming Languages - Object Models and Languages
Overview of the ROL2 Deductive Object-Oriented Database System
TOOLS '99 Proceedings of the Technology of Object-Oriented Languages and Systems
DrawCAD: using deductive object-relational databases in CAD
Software—Practice & Experience
Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications
Theoretical Computer Science
A logic for state-modifying authorization policies
ACM Transactions on Information and System Security (TISSEC)
Enhancing a smart space with answer set programming
RuleML'10 Proceedings of the 2010 international conference on Semantic web rules
| Hi-index | 0.01 |
The semantics of static deductive databases is well understood based on the work in logic programming. In the past decade, various methods to incorporate update constructs into logic programming and deductive databases have been proposed. However, there is still no consensus about the appropriate treatment of dynamic behavior in deductive databases. In this paper, we propose a language called DatalogU, which is a minimal but powerful extension of Datalog with updates to base relations. DatalogU allows the user to program set-oriented complex database transactions with concurrent, disjunctive and sequential update operations in a simple and direct way. It has a simple and intuitive declarative semantics that naturally accounts for set-oriented updates in deductive databases.