Conceptual schema and relational database design: a fact oriented approach
Conceptual schema and relational database design: a fact oriented approach
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Conceptual schema and relational database design (2nd ed.)
Conceptual schema and relational database design (2nd ed.)
The entity-relationship model—toward a unified view of data
ACM Transactions on Database Systems (TODS) - Special issue: papers from the international conference on very large data bases: September 22–24, 1975, Framingham, MA
Membership algebra as a logical framework for equational specification
WADT '97 Selected papers from the 12th International Workshop on Recent Trends in Algebraic Development Techniques
Multirelational Semantics for ExtendedEntity-Relationship Schemata with Applications
ER '02 Proceedings of the 21st International Conference on Conceptual Modeling
Database Schema Transformation and Optimization
OOER '95 Proceedings of the 14th International Conference on Object-Oriented and Entity-Relationship Modelling
Using maude rewriting system to modularize and extend SQL
Proceedings of the 28th Annual ACM Symposium on Applied Computing
| Hi-index | 0.04 |
Conceptual data modeling (CDM) for relational databases can declare constraints on both computed and stored relations, and abstracts from entity-relationship (E/R) modeling by not distinguishing between entities and attributes. To provide a formal semantics, better interoperability, and arbitrary constraints, we can map CDM to a widespectrum algebraic specification language such as Maude. A case study is presented using a functional module to represent a conceptual data model and its constraints, and a system module to obtain a constraintenforcing interpreter allowing concurrent edits to the database state.