Distributed databases principles and systems
Distributed databases principles and systems
Translating SQL Into Relational Algebra: Optimization, Semantics, and Equivalence of SQL Queries
IEEE Transactions on Software Engineering
Constraint propagation with interval labels
Artificial Intelligence
Integrity constraint checking in stratified databases
Journal of Logic Programming
Principles of database and knowledge-base systems, Vol. I
Principles of database and knowledge-base systems, Vol. I
Updating derived relations: detecting irrelevant and autonomously computable updates
ACM Transactions on Database Systems (TODS)
Principles of distributed database systems
Principles of distributed database systems
Safety and translation of relational calculus
ACM Transactions on Database Systems (TODS)
Independence of logic database queries and update
PODS '90 Proceedings of the ninth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Proceedings of the seventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Horn clauses and database dependencies
Journal of the ACM (JACM)
Fast methods for testing quantified relational calculus assertions
SIGMOD '82 Proceedings of the 1982 ACM SIGMOD international conference on Management of data
EDBT '92 Proceedings of the 3rd International Conference on Extending Database Technology: Advances in Database Technology
Integrity Verification in Knowledge Bases
Proceedings of the First Russian Conference on Logic Programming
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Distributed constraint management for collaborative engineering databases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Constraint checking with partial information
PODS '94 Proceedings of the thirteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Research problems in data warehousing
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Protocols for Integrity Constraint Checking in FederatedDatabases
Distributed and Parallel Databases
Consistency Algorithms for Multi-Source Warehouse View Maintenance
Distributed and Parallel Databases - Special issue on parallel and distributed information systems
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
Queries Independent of Updates
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
Further Improvements on Integrity Constraint Checking for Stratifiable Deductive Databases
VLDB '96 Proceedings of the 22th International Conference on Very Large Data Bases
An Abstract Database Machine for Cost Driven Design of Object-Oriented Database Schemas
ADBIS '01 Proceedings of the 5th East European Conference on Advances in Databases and Information Systems
Nested Transactions with Integrity Constraints
Selected papers from the Eight International Workshop on Foundations of Models and Languages for Data and Objects, Transactions and Database Dynamics
Checking Integrity Constraints in Multidatabase Systems with Nested Transactions
CooplS '01 Proceedings of the 9th International Conference on Cooperative Information Systems
Maintenance of Placement Dependency in Distributed Multidatabase Systems
DASFAA '99 Proceedings of the Sixth International Conference on Database Systems for Advanced Applications
A Flexible Cost Model for Abstract Object-Oriented Database Schemas
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Efficient Numerical Error Bounding for Replicated Network Services
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Adaptive filters for continuous queries over distributed data streams
Proceedings of the 2003 ACM SIGMOD international conference on Management of data
Increasing the accuracy of time-tabled condition monitoring
Integrity and internal control in information systems V
A mobile agent approach for global database constraint checking
Proceedings of the 2004 ACM symposium on Applied computing
Management of business process constraints using BPTrigger
Computers in Industry
A Java API for global querying and updates for a system of databases
Proceedings of the 43rd annual Southeast regional conference - Volume 1
Reference Management in a Loosely Coupled, Distributed Information System
ADBIS '08 Proceedings of the 12th East European conference on Advances in Databases and Information Systems
Local relational model: a logical formalization of database coordination
CONTEXT'03 Proceedings of the 4th international and interdisciplinary conference on Modeling and using context
MIKS: an agent framework supporting information access and integration
Intelligent information agents
Decomposing constraint systems: equivalences and computational properties
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Preservation of integrity constraints by workflow
OTM'11 Proceedings of the 2011th Confederated international conference on On the move to meaningful internet systems - Volume Part I
Optimal constraint decomposition for distributed databases
ASIAN'04 Proceedings of the 9th Asian Computing Science conference on Advances in Computer Science: dedicated to Jean-Louis Lassez on the Occasion of His 5th Cycle Birthday
Optimising abstract object-oriented database schemas
ER'06 Proceedings of the 25th international conference on Conceptual Modeling
Reducing lookups for invariant checking
ECOOP'13 Proceedings of the 27th European conference on Object-Oriented Programming
| Hi-index | 0.00 |
We present an optimization for integrity constraint verification in distributed databases. The optimization allows a global constraint, i.e. a constraint spanning multiple databases, to be verified by accessing data at a single database, eliminating the cost of accessing remote data. The optimization is based on an algorithm that takes as input a global constraint and data to be inserted into a local database. The algorithm produces a local condition such that if the local data satisfies this condition then, based on the previous satisfaction of the global constraint, the global constraint is still satisfied. If the local data does not satisfy the condition, then a conventional global verification procedure is required.