Ebook: On Conceptual Modelling: Perspectives from Artificial Intelligence, Databases, and Programming Languages
- Tags: Artificial Intelligence (incl. Robotics), Programming Languages Compilers Interpreters, Models and Principles
- Series: Topics in Information Systems
- Year: 1984
- Publisher: Springer-Verlag New York
- Edition: 1
- Language: English
- pdf
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 meet this demand by defining a new, more abstract level of system description. We call this new level conceptual in recognition of its basic conceptual nature. In Artificial Intelligence, the problem of designing an expert system is seen primarily as a problem of building a knowledge base that repre sents knowledge about an enterprise. Consequently, Knowledge Repre sentation is viewed as a central issue in Artificial Intelligence research. Database design methodologies developed during the last five years are almost unanimous in offering semantic data models in terms of which the designer directly and naturally models an enterprise before proceed ing to a detailed logical and physical database design. In Programming Languages, different forms of abstraction which allow implementation independent specifications of data, functions, and control have been a major research theme for a decade. To emphasize the common goals of these three research efforts, we call this new activity conceptual modelling.
Content:
Front Matter....Pages i-xi
Front Matter....Pages 1-1
An Overview of Knowledge Representation....Pages 3-17
On the Development of Data Models....Pages 19-47
The Impact of Modelling and Abstraction Concerns on Modern Programming Languages....Pages 49-83
Front Matter....Pages 85-85
Generalization/Specialization as a Basis for Software Specification....Pages 87-117
Some Remarks on the Semantics of Representation Languages....Pages 119-146
Open Systems....Pages 147-164
The Logic of Incomplete Knowledge Bases....Pages 165-189
Towards a Logical Reconstruction of Relational Database Theory....Pages 191-238
A Formal Representation for Plans in the Programmer’s Apprentice....Pages 239-273
Front Matter....Pages 275-275
On the Design and Specification of Database Transactions....Pages 277-312
A Unified Model and Methodology for Conceptual Database Design....Pages 313-331
Adding Semantic Knowledge to a Relational Database System....Pages 333-356
Front Matter....Pages 357-357
The Functional Data Model and its Uses for Interaction with Databases....Pages 359-384
Types in the Programming Language Ada....Pages 385-410
Data Selection, Sharing, and Access Control in a Relational Scenario....Pages 411-440
Types, Algebras, and Modelling....Pages 441-450
Front Matter....Pages 451-451
An Artificial Intelligence Perspective....Pages 453-455
A Database Perspective....Pages 457-458
A Programming Language Perspective....Pages 459-460
Back Matter....Pages 461-511
Content:
Front Matter....Pages i-xi
Front Matter....Pages 1-1
An Overview of Knowledge Representation....Pages 3-17
On the Development of Data Models....Pages 19-47
The Impact of Modelling and Abstraction Concerns on Modern Programming Languages....Pages 49-83
Front Matter....Pages 85-85
Generalization/Specialization as a Basis for Software Specification....Pages 87-117
Some Remarks on the Semantics of Representation Languages....Pages 119-146
Open Systems....Pages 147-164
The Logic of Incomplete Knowledge Bases....Pages 165-189
Towards a Logical Reconstruction of Relational Database Theory....Pages 191-238
A Formal Representation for Plans in the Programmer’s Apprentice....Pages 239-273
Front Matter....Pages 275-275
On the Design and Specification of Database Transactions....Pages 277-312
A Unified Model and Methodology for Conceptual Database Design....Pages 313-331
Adding Semantic Knowledge to a Relational Database System....Pages 333-356
Front Matter....Pages 357-357
The Functional Data Model and its Uses for Interaction with Databases....Pages 359-384
Types in the Programming Language Ada....Pages 385-410
Data Selection, Sharing, and Access Control in a Relational Scenario....Pages 411-440
Types, Algebras, and Modelling....Pages 441-450
Front Matter....Pages 451-451
An Artificial Intelligence Perspective....Pages 453-455
A Database Perspective....Pages 457-458
A Programming Language Perspective....Pages 459-460
Back Matter....Pages 461-511
....