Dependency preservation in semantic databases
A simple semantic or object-based data model is considered, which includes objects and object identifiers, classes and class hierarchies, attributes ranging over atomic values. Transactions are composed from five basic operators manipulating objects. Preservation of functional and acyclic inclusion dependencies by transactions is studied in such a context of semantic databases and updates transactions. It is shown to be decidable whether a given transaction preserves a given set of functional dependencies, or acyclic inclusion dependencies, or both functional and acyclic inclusion dependencies. Time complexity (with respect to the sizes of transactions and database schemas) for testing preservation is also discussed. It turns out that the problem is co-NP-complete in the simplest cases where there is only one nontrivial dependency and transactions consist of only creations and deletions of objects. It implies that the problem is at least co-NP-hard in general.
- A relational model of data for large shared data banks
- A transaction-based approach to relational database specification
- Calculating constraints on relational expression
- Determining View dependencies using tableaux
- Equivalence and optimization of relational transactions
- scientific article; zbMATH DE number 3823168 (Why is no real title available?)
- Inclusion dependencies and their interaction with functional dependencies
This page was built for publication: Dependency preservation in semantic databases
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1323344)
