Object-oriented concepts, databases, and applications
The Gem–Stone data management system
Object-oriented concepts, databases, and applications
A design tool for object oriented databases
CAiSE '90 Proceedings of the second Nordic conference on Advanced information systems engineering
A deductive method for entity-relationship modeling
VLDB '89 Proceedings of the 15th international conference on Very large data bases
On taxonomic reasoning in conceptual design
ACM Transactions on Database Systems (TODS)
Building an object-oriented database system: the story of 02
Building an object-oriented database system: the story of 02
Taxonomic syntax for first order inference
Journal of the ACM (JACM)
Fast Decision Procedures Based on Congruence Closure
Journal of the ACM (JACM)
Variations on the Common Subexpression Problem
Journal of the ACM (JACM)
Object Database Standard: ODMG-93
Object Database Standard: ODMG-93
Object-Oriented Database Design Methodologies: A Survey
CIKM '92 Selected Papers from the First International Conference on Information and Knowledge Management, Expanding the Definition of Database
Proceedings of the Fifth International Conference on Data Engineering
Path constraints for graph-based data models
Path constraints for graph-based data models
Fast decision algorithms based on union and find
SFCS '77 Proceedings of the 18th Annual Symposium on Foundations of Computer Science
| Hi-index | 0.00 |
Interactive design of object-oriented schema requires a tool that permits fine-grained, incremental capture of semantic intent in the form of atomic assertions and provides user feedback reflecting the consequences of the design. This paper describes a design tool that includes a graphical interface for schema entry and feedback, a conceptual reasoner to perform the deductions, and a schema generator that outputs the data definition language of choice. The graphical interface is concerned with issues of object placement, line crossing, and object focus. The conceptual reasoner constructs a representation of the schema as a constraint network graph, based on the concept of congruence closure. The schema generator produces data definitions based on the deductions of the conceptual reasoner and the assertions given to the graphical interface.