On Conceptual Modelling Perspectives from Artificial Intelligence, Databases, and Programming Languages
The growing demand for systems of ever-increasing complexity and precision has stimulated the need for higher level concepts, tools, and techniques in every area of Computer Science. Some of these areas, in particular Artificial Intelligence, Databases, and Programming Lan guages, are attempting to...
| Other Authors: | , , |
|---|---|
| Format: | eBook |
| Language: | English |
| Published: |
New York, NY
Springer New York
1984, 1984
|
| Edition: | 1st ed. 1984 |
| Series: | Topics in Information Systems
|
| Subjects: | |
| Online Access: | |
| Collection: | Springer Book Archives -2004 - Collection details see MPG.ReNa |
Table of Contents:
- I: Artificial Intelligence, Database, and Programming Language Overviews
- 1. An Overview of Knowledge Representation
- 2. On the Development of Data Models
- 3. The Impact of Modelling and Abstraction Concerns on Modern Programming Languages
- II: Perspectives from Artificial Intelligence
- 4. Generalization/Specialization as a Basis for Software Specification
- 5. Some Remarks on the Semantics of Representation Languages
- 6. Open Systems
- 7. The Logic of Incomplete Knowledge Bases
- 8. Towards a Logical Reconstruction of Relational Database Theory
- 9. A Formal Representation for Plans in the Programmer’s Apprentice
- III: Perspectives from Databases
- 10. On the Design and Specification of Database Transactions
- 11. A Unified Model and Methodology for Conceptual Database Design
- 12. Adding Semantic Knowledge to a Relational Database System
- IV: Perspectives from Programming Languages
- 13. The Functional Data Model and its Uses for Interaction with Databases
- 14. Types in the Programming Language Ada
- 15. Data Selection, Sharing, and Access Control in a Relational Scenario
- 16. Types, Algebras and Modelling
- V: Concluding Remarks from Three Perspectives
- 17. An Artificial Intelligence Perspective
- 18. A Database Perspective
- 19. A Programming Language Perspective
- References
- Authors and Symposium Participants