Database inferencing for decision support

Abstract The use of databases for management decision support requires flexible inferencing mechanisms. The use of logic programming for these purposes is explored. To be flexible, however, this requires the logical decomposition of the database into elementary predicates.

[1]  William Kent,et al.  Data and Reality , 1978 .

[2]  Ronald Fagin,et al.  Multivalued dependencies and a new normal form for relational databases , 1977, TODS.

[3]  Douglas B. Lenat,et al.  Knowledge-based systems in artificial intelligence , 1981 .

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

[5]  Ronald M. Lee.  Candid -- a logical calculus for describing financial contracts , 1980 .

[6]  E. F. Codd,et al.  Extending the database relational model to capture more meaning , 1979, ACM Trans. Database Syst..

[7]  Robert A. Kowalski,et al.  Logic for problem solving , 1982, The computer science library : Artificial intelligence series.

[8]  R. M. Lee,et al.  Candid Description of Commercial and Financial Concepts: A Formal Semantics Approach to Knowledge Representation , 1981 .

[9]  E. F. Codd,et al.  Further Normalization of the Data Base Relational Model , 1971, Research Report / RJ / IBM / San Jose, California.

[10]  E. F. CODD,et al.  A relational model of data for large shared data banks , 1970, CACM.

[11]  Dennis Tsichritzis,et al.  The ANSI/X3/SPARC DBMS Framework Report of the Study Group on Dabatase Management Systems , 1978, Inf. Syst..

[12]  R. M. Lee,et al.  Data and Language in Organizations: Epistemological Aspects of Management Support Systems , 1983 .

[13]  R. Stamper.  Information in business and administrative systems , 1973 .

[14]  C. J. Date.  An Introduction to Database Systems, 3rd Edition , 1977 .

[15]  Andrew B. Whinston,et al.  Foundations of Decision Support Systems , 1981 .

[16]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

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

[18]  Ronald M. Lee.  Epistomological aspects of knowledge-based decision support systems , 1983 .

[19]  Luís Moniz Pereira,et al.  How to solve it with prolog , 1982 .

[20]  Henk Sol.  Processes and Tools for Decision Support , 1983 .

[21]  William Kent,et al.  Limitations of record-based information models , 1979, TODS.

[22]  Randall Davis,et al.  An overview of production systems , 1975 .

[23]  Peter P. Chen.  The entity-relationship model: toward a unified view of data , 1975, VLDB '75.

[24]  Drew McDermott,et al.  The prolog phenomenon , 1980, SGAR.

[25]  Robert A. Kowalski,et al.  Algorithm = logic + control , 1979, CACM.

[26]  R. M. Lee,et al.  Extended semantics for generalization hierarchies , 1978, SIGMOD '78.

[27]  Nils J. Nilsson,et al.  Principles of Artificial Intelligence , 1980, IEEE Transactions on Pattern Analysis and Machine Intelligence.