DB-Prolog: a database programming environment for CACSD

DB-Prolog, a database programming language based on the extension of Prolog, is introduced for the purpose of computer-aided control systems design. Structural properties of data can be modeled using the classification generalization, and aggregation abstractions, while the dynamic behaviors can be captured in derivation rules. Furthermore, all data items may persist in an external database and be manipulated directly in the underlying language. A system of integrity constraint definition and maintenance is incorporated to keep the database consistent at all times. The data modeling concept is presented, and the syntax and semantics for various extensions are given. Other aspects, such as built-in operators, the strategy for maintaining consistency, and communication with an external numerical package Pro-Matlab, are mentioned briefly. An example is presented to demonstrate some of the potential benefits of DB-Prolog as an environment for CACSD.<<ETX>>

[1]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[2]  Jan M. Maciejowski,et al.  A logic programming based CACSD environment , 1990 .

[3]  J. Ackermann,et al.  Future design environments for control engineering , 1987, Autom..

[4]  William F. Clocksin,et al.  Programming in Prolog , 1987, Springer Berlin Heidelberg.

[5]  Jürgen Ackermann,et al.  Future design environments for control engineering , 1989, Autom..

[6]  Peter Buneman,et al.  Types and persistence in database programming languages , 1987, CSUR.

[7]  Hassan Aït-Kaci,et al.  LOGIN: A Logic Programming Language with Built-In Inheritance , 1986, J. Log. Program..

[8]  M.J. Denham.  Design issues for CACSD systems , 1984, Proceedings of the IEEE.

[9]  John W. Lloyd,et al.  A Basis for Deductive Database Systems II , 1986, J. Log. Program..

[10]  Jack Minker,et al.  Logic and Databases: A Deductive Approach , 1984, CSUR.

[11]  Kotagiri Ramamohanarao,et al.  Answering Queries in Deductive Database Systems , 1987, ICLP.

[12]  Renzo Orsini,et al.  GALILEO: a strongly-typed, interactive conceptual language , 1985, TODS.

[13]  Jan M. Maciejowski,et al.  Data structures and software tools for the computer aided design of control systems: a survey. , 1988 .

[14]  Keith L. Clark,et al.  PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..

[15]  Jan M. Maciejowski,et al.  Definition and implementation of a data model for computer aided control engineering , 1987 .

[16]  Jan M. Maciejowski,et al.  A core data model for computer-aided control engineering , 1985 .

[17]  Robert A. Kowalski,et al.  Integrity Checking in Deductive Databases , 1987, VLDB.