Computer
Constraint management in expert database systems
Proceedings from the first international workshop on Expert database systems
Implementation of a semantic integrity manager with a knowledge representation system
Proceedings from the first international workshop on Expert database systems
The role of constraints in databases, expert systems, and knowledge representation
Proceedings from the first international workshop on Expert database systems
On the modes and meaning of feedback to transaction designers
SIGMOD '87 Proceedings of the 1987 ACM SIGMOD international conference on Management of data
Issues in the design of object-oriented database programming languages
OOPSLA '87 Conference proceedings on Object-oriented programming systems, languages and applications
Lecture notes in computer science on Advances in object-oriented database systems
Lecture notes in computer science on Advances in object-oriented database systems
Constraint analysis: A tool for explaining the semantics of complex objects
Lecture notes in computer science on Advances in object-oriented database systems
Rule management and evaluation: an active DBMS perspective
ACM SIGMOD Record
Proceedings on the 1986 international workshop on Object-oriented database systems
OODS '86 Proceedings on the 1986 international workshop on Object-oriented database systems
The functional data model and the data languages DAPLEX
ACM Transactions on Database Systems (TODS)
Database description with SDM: a semantic database model
ACM Transactions on Database Systems (TODS)
A language facility for designing database-intensive applications
ACM Transactions on Database Systems (TODS)
SIGMOD '84 Proceedings of the 1984 ACM SIGMOD international conference on Management of data
Perspectives of a Semantic Schema
Proceedings of the Third International Conference on Data Engineering
Constraint Analysis for Specifying Perspectives of Class Objects
Proceedings of the Fifth International Conference on Data Engineering
Specification-Based Computing Environments for Information Management
Proceedings of the First International Conference on Data Engineering
A Framework for Efficient IC/VLSI CAD Databases
Proceedings of the Third International Conference on Data Engineering
Active Databases as a Paradigm for Enhanced Computing Environments
VLDB '83 Proceedings of the 9th International Conference on Very Large Data Bases
Constraint Equations: Declarative Expression of Constraints With Automatic Enforcement
VLDB '84 Proceedings of the 10th International Conference on Very Large Data Bases
Requirements modeling: a knowledge representation approach to software requirements definition
Requirements modeling: a knowledge representation approach to software requirements definition
Constraint analysis for the design of semantic database update operations
Constraint analysis for the design of semantic database update operations
ERC++: a model based on object and logic paradigms
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Automatic generation of production rules for integrity maintenance
ACM Transactions on Database Systems (TODS)
Data model for extensible support of explicit relationships in design databases
The VLDB Journal — The International Journal on Very Large Data Bases
Towards the Correctness and Consistency of Update Semantics in Semantic Database Schema
IEEE Transactions on Knowledge and Data Engineering
Differential Relational Calculus for Integrity Maintenance
IEEE Transactions on Knowledge and Data Engineering
Transaction Repair for Integrity Enforcement
IEEE Transactions on Knowledge and Data Engineering
Distributed Enforcement of Integrity Constraints
Distributed and Parallel Databases
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Automatic detection and repair of errors in data structures
OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Acceptability-oriented computing
OOPSLA '03 Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Acceptability-oriented computing
ACM SIGPLAN Notices
Data structure repair using goal-directed reasoning
Proceedings of the 27th international conference on Software engineering
Inference and enforcement of data structure consistency specifications
Proceedings of the 2006 international symposium on Software testing and analysis
Goal-Directed Reasoning for Specification-Based Data Structure Repair
IEEE Transactions on Software Engineering
| Hi-index | 0.00 |
A design process for an object-oriented database design environment, known as constraint analysis, is presented. Given the increased level of semantics associated with an object-oriented database schema, constraint analysis makes use of semantics expressed as database constraints to support the flexible specification of propagation actions for operations on objects. Constraints are formally represented using Horn logic. The constraint analysis process then reasons about constraints at design time to help the designer understand the effects of constraints on object manipulation, identifying possible constraint violations as well as design alternatives for handling violations. An advantage of constraint analysis is that both inherent and explicit schema constraints are included in the analysis process. A formal representation is given that supports the analysis of constraints and the automatic identification of design alternatives for responding to constraint violations.