Towards multi-level and modular conceptual schema specifications

The specification of the conceptual schema for a data base application is divided into levels. It is argued that, at the highest level, a direct description of the characteristics of the information kept in a data base and of the constraints governing their existence and transformation of its components characterizes what a particular data base is in a more fundamental way (hence at a higher and more stable level) than the operations that happen to be used for data base manipulation. At a next lower level a specification based on operations, using the encapsulation strategy of abstract data types, is introduced, followed by a specification based on representations used in semantic data models. The discussion includes constraints involving temporal aspects. Modularization is also discussed as another dimension in the specification process, orthogonal to the division into levels.

[1]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[2]  J. A. Bubenko,et al.  A declarative approach to conceptual information modeling , 1986, Trends in Information Systems.

[3]  Nick Roussopoulos.  CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications , 1979, IEEE Transactions on Software Engineering.

[4]  Diane C. P. Smith,et al.  Database abstractions: aggregation and generalization , 1977, TODS.

[5]  Antonio L. Furtado,et al.  Properties of Conceptual and External Database Schemas , 1982, Formal Description of Programming Concepts.

[6]  Herbert Weber,et al.  Modularity in Data Base System Design: A Software Engineering View of Data Base Systems , 1978, VLDB Surveys.

[7]  David Harel,et al.  First-Order Dynamic Logic , 1979, Lecture Notes in Computer Science.

[8]  Edsger W. Dijkstra,et al.  A Discipline of Programming , 1976 .

[9]  Erich J. Neuhold,et al.  A Data Type Approach to the Entity-Relationship Approach , 1979, ER.

[10]  B. H. Liskov,et al.  Specification techniques for data abstractions , 1975, IEEE Transactions on Software Engineering.

[11]  Robert A. Kowalski,et al.  Logic as a Database Language , 1984, BNCOD.

[12]  David R. Musser,et al.  An Overview of AFFIRM: A Specification and Verification System , 1980, IFIP Congress.

[13]  B. Coe.  Aaker, David A. (Ed.).Advertising Management. Englewood Cliffs, New Jersey: Prentice-Hall, Inc., 1975 , 1976 .

[14]  Michael L. Brodie.  On Modelling Behavioural Semantics of Databases , 1981, VLDB.

[15]  Keith L. Clark,et al.  Negation as Failure , 1987, Logic and Data Bases.

[16]  Eckhard D. Falkenberg,et al.  Concepts for Modelling Information , 1976, IFIP Working Conference on Modelling in Data Base Management Systems.

[17]  Joseph R. Shoenfield,et al.  Mathematical logic , 1967 .

[18]  SHAMKANT B. NAVATHE,et al.  On the implementation of a conceptual schema model within a three-level DBMS architecture* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).

[19]  Alexander Borgida,et al.  Data Models and Data Manipulation Languages: Complementary Semantics and Proof Theory , 1981, VLDB.

[20]  Ellis Horowitz,et al.  The design of data type specifications , 1976, ICSE '76.

[21]  K. Mani Chandy,et al.  Current trends in programming methodology , 1977 .

[22]  Ulrich Schiel,et al.  An Abstract Introduction to the Temporal-Hierarchic Data Model (THM) , 1983, VLDB.

[23]  Edward Yourdon,et al.  Structured design , 1975 .

[24]  Antonio L. Furtado,et al.  A Temporal Framework for Database Specifications , 1982, VLDB.

[25]  Alasdair Urquhart,et al.  Temporal Logic , 1971 .

[26]  Michael L. Brodie.  Association: A Database Abstraction for Semantic Modelling , 1981, ER.

[27]  Marco A. Casanova,et al.  A Formal System for Reasoning about Programs Accessing a Relational Database , 1980, ACM Trans. Program. Lang. Syst..

[28]  Dennis McLeod,et al.  The semantic data model: a modelling mechanism for data base applications , 1978, SIGMOD Conference.

[29]  Antonio L. Furtado,et al.  Systematic Derivation of Complementary Specifications , 1981, VLDB.

[30]  Carl Hewitt,et al.  PLANNER: A Language for Proving Theorems in Robots , 1969, IJCAI.

[31]  Erich J. Neuhold,et al.  Semantics of data bases: The semantics of data models , 1978, Inf. Syst..

[32]  Zohar Manna,et al.  Verification of concurrent programs, Part I: The temporal framework , 1981 .

[33]  Hartmut Ehrig,et al.  Algebraic Specification Schemes for Data Base Systems , 1978, VLDB.

[34]  Charles W. Bachman,et al.  The Role Data Model Approach to Data Structures , 1980, ICOD.

[35]  D. A Jardine,et al.  Concepts and terminology for the conceptual schema and the information base , 1984 .

[36]  Hartmut Ehrig,et al.  Methodology for the Specification of Software Systems: From Formal Requirements to Algebraic Design Specifications , 1981, GI Jahrestagung.

[37]  Antonio L. Furtado,et al.  Verification and Testing of S-ER Representations , 1981, ER.