Towards multi-level and modular conceptual schema specifications

Information Systems

Volumn 9, Issue 1, 1984, Pages 43-57

  Schiel, Ulrich ^a   Furtado, Antonio L ^b   Neuhold, Erich J ^c   Casanova, Marco A ^d  

^a FEDERAL UNIVERSITY OF PARAÍBA   (Brazil)

^b PONTIFICAL CATHOLIC UNIVERSITY OF RIO DE JANEIRO   (Brazil)

^c UNIVERSITY OF STUTTGART   (Germany)

^d IBM Brazil   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

DATABASE SYSTEMS;

EID: 0021120459     PISSN: 03064379     EISSN: None     Source Type: Journal    
DOI: 10.1016/0306-4379(84)90015-2     Document Type: Article

References (47)

1. Data semantics
2. The role data model approach to data structures
3. Semantics of data bases: the semantics of data models
4. Data models and data manipulation languages: complementary semantics and proof theory
5. On modelling behavioural semantics of databases
6. Association: a database abstraction for semantic modeling
7. An informal introduction to specification using CLEAR
8. A Formal System for Reasoning about Programs Accessing a Relational Database
9. Properties of conceptual and external database schemas
10. A family of temporal languages for the description of transition constraints
11. A temporal framework for database specifications
12. Negation as failure
13. Methodology for the specification of software systems: from formal requirements to algebraic design specifications
14. Algebraic specification schemes for data base systems
15. Concepts for modelling information
16. Verification and testing of S-ER representations
17. Impacts of logic on data bases
18. An overview of Affirm: a specification and verification system
19. An initial algebra approach to the specification, correctness and implementation of abstract data types
20. A declarative approach to conceptual information modeling
21. The design of data type specifications
22. The semantic data model: a modelling mechanism for data base applications
23. First-order dynamic logic
24. PLANNER: a language for providing theorems in robots
25. Concepts and terminology for the conceptual schema and the information base
26. Specification techniques for data abstractions
27. Verification of concurrent programs: the temporal framework
28. Applying a semantic database model
29. Minsky's frame theory
30. On the implementation of a conceptual schema model with a three-level DBMS architecture
31. Verification of views and application programs
32. On the criteria to be used in decomposing systems into modules
33. CSDL: A Conceptual Schema Definition Language for the Design of Data Base Applications
34. A data type approach to the entity-relationship model
35. The temporal-hierarchic data model (THM)
36. A semantic data model and its mapping to an internal relational model
37. An abstract introduction to the temporal-hierarchic data model (THM)
38. Database abstractions: aggregation and generalization
39. Systematic derivation of complementary specifications
40. Modularity in data base system design