Update semantics under the domain closure assumption
Proceedings on International conference on database theory
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
Properties and update semantics of consistent views
ACM Transactions on Database Systems (TODS)
The architecture of an active database management system
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
Compiling complex database transition triggers
SIGMOD '89 Proceedings of the 1989 ACM SIGMOD international conference on Management of data
The 3DIS: an extensible object-oriented information management environment
ACM Transactions on Information Systems (TOIS)
Intensional updates: abduction via deduction
Logic programming
A theory for rule triggering systems
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Derived data update in semantic databases
VLDB '89 Proceedings of the 15th international conference on Very large data bases
Deriving production rules for constraint maintenance
Proceedings of the sixteenth international conference on Very large databases
Integrating object-oriented data modelling with a rule-based programming paradigm
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
On rules, procedure, caching and views in data base systems
SIGMOD '90 Proceedings of the 1990 ACM SIGMOD international conference on Management of data
Datalog extensions for database queries and updates
Journal of Computer and System Sciences
Updating relational databases through object-based views
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Incomplete object—a data model for design and planning applications
SIGMOD '91 Proceedings of the 1991 ACM SIGMOD international conference on Management of data
Foundations of disjunctive logic programming
Foundations of disjunctive logic programming
Database programming with delayed updates
DBPL3 Proceedings of the third international workshop on Database programming languages : bulk types & persistent data: bulk types & persistent data
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
Update semantics of relational views
ACM Transactions on Database Systems (TODS)
On the correct translation of update operations on relational views
ACM Transactions on Database Systems (TODS)
On semantic issues connected with incomplete information databases
ACM Transactions on Database Systems (TODS)
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
On the equivalence of logical databases
PODS '84 Proceedings of the 3rd ACM SIGACT-SIGMOD symposium on Principles of database systems
On the semantics of updates in databases
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
The Integration of Rule Systems and Database Systems
IEEE Transactions on Knowledge and Data Engineering
Rule Chaining in Marvel: Dynamic Binding of Parameters
IEEE Expert: Intelligent Systems and Their Applications
TAILOR, A Tool for Updating Views
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
A Relational Database View Update Translation Mechanism
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Choosing a View Update Translator by Dialog at View Definition Time
VLDB '86 Proceedings of the 12th International Conference on Very Large Data Bases
Modelling Non Deterministic Queries and Updates in Deductive Databases
VLDB '88 Proceedings of the 14th International Conference on Very Large Data Bases
Language Constructs for Programming Active Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Deriving Production Rules for Incremental View Maintenance
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
On Implementing a Language for Specifying Active Database Execution Models
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Heraclitus: elevating deltas to be first-class citizens in a database programming language
ACM Transactions on Database Systems (TODS)
Research Frontiers in Object Technology
Information Systems Frontiers
Integrity Constraint Enforcement by Means of Trigger Templates
ADVIS '02 Proceedings of the Second International Conference on Advances in Information Systems
Towards a Tailored Theory of Consistency Enforcement in Databases
FoIKS '02 Proceedings of the Second International Symposium on Foundations of Information and Knowledge Systems
A Survey of Current Methods for Integrity Constraint Maintenance and View Updating
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Consistency preserving updates in deductive databases
Data & Knowledge Engineering
Automata- and logic-based pattern languages for tree-structured data
Proceedings of the 2nd international conference on Semantics in databases
Hi-index | 0.00 |
A novel execution model for rule application in active databases is developed and applied to the problem of updating derived data in a database represented using a semantic, object-based database model. The execution model is based on the use of “limited ambiguity rules” (LARs), which permit disjunction in rule actions. The execution model essentially performs a breadth-first exploration of alternative extensions of a user-requested update. Given an object-based database schema, both integrity constraints and specifications of derived classes and attributes are compiled into a family of limited ambiguity rules. A theoretical analysis shows that the approach is sound: the execution model returns all valid “completions” of a user-requested update, or terminates with an appropriate error notification. The complexity of the approach in connection with derived data update is considered.