Towards multi-level and modular conceptual schema specifications
Information Systems
Data abstractions for database systems
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)
On Databases with Incomplete Information
Journal of the ACM (JACM)
Journal of the ACM (JACM)
A Formal System for Reasoning about Programs Accessing a Relational Database
ACM Transactions on Programming Languages and Systems (TOPLAS)
The denotational semantics of programming languages
Communications of the ACM
An Introduction to Database Systems
An Introduction to Database Systems
The Mythical Man-Month: Essays on Softw
The Mythical Man-Month: Essays on Softw
Complementary Definitions of Programming Language Semantics
Complementary Definitions of Programming Language Semantics
Formal specification as a design tool
POPL '80 Proceedings of the 7th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Design of Database Structures
Data Models
Advances in Data Base Theory
Logic and Data Bases
Associative Networks: The Representation and Use of Knowledge by Computers
Associative Networks: The Representation and Use of Knowledge by Computers
On the Algebraic Specification of Databases
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
A Methodology for View Inegration in Logical Database Design
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Formalization of Database Systems - and a Formal Definition of IMS (Invited Paper)
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Verification and Testing of S-ER Representations
ER '81 Proceedings of the Second International Conference on the Entity-Relationship Approach to Information Modeling and Analysis
Transformations of Data Base Structures
Proceedings of the International Workshop on Graph-Grammars and Their Application to Computer Science and Biology
Specification of data bases through rewriting rules
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Data abstraction from a programming language viewpoint
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Database management systems past and present
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Proceedings of the 1980 workshop on Data abstraction, databases and conceptual modeling
Prolog - the language and its implementation compared with Lisp
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Proceedings of the international conference on Reliable software
Formal techniques for the specification and verification of protocols
Formal techniques for the specification and verification of protocols
Procedural specifications and implementations for abstract data types
ACM SIGPLAN Notices
How do we tell truths that might hurt?
ACM SIGPLAN Notices
The role of time in information processing: a survey
ACM SIGMOD Record
Final report of the ANSI/X3/SPARC DBS-SG relational database task group
ACM SIGMOD Record
Stepwise specification of dynamic database behaviour
SIGMOD '86 Proceedings of the 1986 ACM SIGMOD international conference on Management of data
| Hi-index | 0.00 |
An attempt is made to help bridging the gap between theoretical research and the real practice of data base specification. Some fundamental problems that must be addressed are described and a number of formalisms that propose to attack them are overviewed. The case pro and against the use of formal specifications is presented.