The category concept: an extension to the entity-relationship model
Data & Knowledge Engineering
A graphical query language for entity-relationship databases
Proc. of the third international conference on Entity-relationship approach to software engineering
A logical design methodology for relational databases using the extended entity-relationship model
ACM Computing Surveys (CSUR)
The relational model with relation-valued attributes
Information Systems
Key extensions of abstract data types, final algebras, and database semantics
Proceedings of a tutorial and workshop on Category theory and computer programming
Denotational semantics of query languages
Information Systems
IFO: a formal semantic database model
ACM Transactions on Database Systems (TODS)
ACM Transactions on Database Systems (TODS)
An introduction to the theory of lists
Proceedings of the NATO Advanced Study Institute on Logic of programming and calculi of discrete design
Semantic database modeling: survey, applications, and research issues
ACM Computing Surveys (CSUR)
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)
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
Database abstractions: aggregation and generalization
ACM Transactions on Database Systems (TODS)
Equivalence of Relational Algebra and Relational Calculus Query Languages Having Aggregate Functions
Journal of the ACM (JACM)
Fundamentals of Algebraic Specification I
Fundamentals of Algebraic Specification I
Design of Database Structures
Remarks on the algebra of non first normal form relations
PODS '82 Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems
An Algebra for a Directional Binary Entity-Relationship Model
Proceedings of the First International Conference on Data Engineering
Comparison-Criteria for Semantic Data Models
Proceedings of the First International Conference on Data Engineering
An Entity-Relationship Algebra
Proceedings of the First International Conference on Data Engineering
Object-Oriented Specification of Databases: An Algebraic Approach
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Translating and Optimizing SQL Queries Having Aggregates
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Three-Level-Specification of Databases using an extended Entity-Relationship Model
Informationsbedarfsermittlung und -analyse für den Entwurf von Informationssystemen, Fachtagung EMISA
Algebraization and Integrity Constraints for an Extended Entity-Relationship Approach
TAPSOFT '89/CAAP '89 Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 1: Advanced Seminar on Foundations of Innovative Software Development I and Colloquium on Trees in Algebra and Programming
A Data Type Approach to the Entity-Relationship Approach
Proceedings of the 1st International Conference on the Entity-Relationship Approach to Systems Analysis and Design
Completeness of Query Languages for the Entity-Relationship Model
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
GORDAS: A Formal High-Level Query Language for the Entity-Relationship Model
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
INCOD: A System for Conceptual Design of Data and Transactions in the Entity-Relationship Model
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
A Graphical Query Facility for ER Databases
Proceedings of the Fourth International Conference on Entity-Relationship Approach
SESPATH: An ER Manipulation Language
Proceedings of the Fourth International Conference on Entity-Relationship Approach
A Relationally Complete Query Language for an Entity-Relationship Model
Proceedings of the Fourth International Conference on Entity-Relationship Approach
Lambda: An Entity-Relationship Based Query Language for the Retrieval of Structured Documents
Proceedings of the Fourth International Conference on Entity-Relationship Approach
Automatic Transformation of an Entity-Relationship Query Language into SQL
Proceedings of the Eight International Conference on Enity-Relationship Approach to Database Design and Querying
An annotated bibliography on object-orientation and deduction
ACM SIGMOD Record
EDBT '02 Proceedings of the Worshops XMLDM, MDDE, and YRWS on XML-Based Data Management and Multimedia Engineering-Revised Papers
Extending Entity-Relationship Models with Higher-Order Operators
ISMIS '00 Proceedings of the 12th International Symposium on Foundations of Intelligent Systems
Entity-Relationship modeling revisited
ACM SIGMOD Record
ER modelling from first relational principles
Theoretical Computer Science
Improving quality in conceptual modeling
OOPSLA '04 Companion to the 19th annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
Evolution of entity-relationship modelling
Data & Knowledge Engineering
The formal semantics of the timeER model
APCCM '06 Proceedings of the 3rd Asia-Pacific conference on Conceptual modelling - Volume 53
Data modeling with imprecise and linguistic information
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - Dedicated to the 60th birthday of Etienne E. Kerre
Developing a unified design methodology based on extended entity-relationship model for XML
ICCS'03 Proceedings of the 2003 international conference on Computational science
Query answering under expressive entity-relationship schemata
ER'10 Proceedings of the 29th international conference on Conceptual modeling
Ontological query answering under expressive Entity-Relationship schemata
Information Systems
Information and Software Technology
| Hi-index | 0.00 |
Nearly all query languages discussed recently for the Entity-Relationship (ER) model do not possess a formal semantics. Languages are often defined by means of examples only. The reason for this phenomenon is the essential gap between features of query languages and theoretical foundations like algebras and calculi. Known languages offer arithmetic capabilities and allow for aggregates, but algebras and calculi defined for ER models do not. This paper introduces an extended ER model concentrating nearly all concepts of known so-called semantic data models in a few syntactical constructs. Moreover, we provide our extended ER model with a formal mathematical semantics. On this basis a well-founded calculus is developed taking into account data operations on arbitrary user-defined data types and aggregate functions. We pay special attention to arithmetic operations, as well as multivalued terms allowing nested queries, in a uniform and consistent manner. We prove our calculus only allows the formulation of safe terms and queries yielding a finite result, and to be (at least) as expressive as the relational calculi.