Intelligent Information Systems

Databases of the future must deal with the demands of the increasingly complex applications to which database technology is being applied. This challenge is being addressed by intelligent information systems, which successfully integrate artificial intelligence technologies into the database realm, resulting in a powerful synergism. This article focuses on the next generation of databases that are enhanced by the influence of artificial intelligence, including knowledge representation, object orientation, deductive capabilities, rule processing techniques, and knowledge discovery. This article also addresses the need for intelligent information systems to support nontraditional objects such as those found in multimedia systems. Representative application domains that can benefit from intelligent information systems are also presented.

[1]  B. L. Fritchman,et al.  SIM: a database system based on the semantic data model , 1988, SIGMOD '88.

[2]  Andreas Heuer,et al.  Preserving and generating objects in the LIVING IN A LATTICE rule language , 1991, [1991] Proceedings. Seventh International Conference on Data Engineering.

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

[4]  Suzanne W. Dietrich,et al.  A conceptual design for a code analysis knowledge base , 1992, J. Softw. Maintenance Res. Pract..

[5]  Suzanne W. Dietrich,et al.  Extension Tables: Memo Relations in Logic Programming , 1987, SLP.

[6]  Roger King,et al.  Semantic database modeling: survey, applications, and research issues , 1987, CSUR.

[7]  William I. Grosky,et al.  Guest Editors' Introduction: Image Database Management , 1989, Computer.

[8]  Serge Abiteboul,et al.  A Logical Database Query Language with Object Identity and Strong Typing , 1989, ICLP.

[9]  Forouzan Golshani,et al.  Design and Specification of Eva: a language for multimedia database systems , 1992, DEXA.

[10]  Serge Abiteboul,et al.  COL: A Logic-Based Language for Complex Objects , 1988, EDBT.

[11]  Michael Kifer,et al.  HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs , 1989, NACLP.

[12]  Stanley B. Zdonik,et al.  Models of Inheritance , 1989, DBPL.

[13]  John L. Pfaltz,et al.  Summary of the final report of the NSF workshop on scientific database management , 1990, SGMD.

[14]  Serge Abiteboul,et al.  Procedural and declarative database update languages , 1988, PODS '88.

[15]  Jack Minker,et al.  Logic and Data Bases , 1978, Springer US.

[16]  Charles L. Forgy,et al.  Rete: A Fast Algorithm for the Many Patterns/Many Objects Match Problem , 1982, Artif. Intell..

[17]  Ronald J. Brachman,et al.  An overview of the KL-ONE Knowledge Representation System , 1985 .

[18]  David Scott Warren,et al.  C-logic of complex objects , 1989, PODS '89.

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

[20]  Eric N. Hanson,et al.  A performance comparison of the Rete and TREAT algorithms for testing database rule conditions , 1992, [1992] Eighth International Conference on Data Engineering.

[21]  William Frawley,et al.  Knowledge Discovery in Databases , 1991 .

[22]  Elisa Bertino,et al.  Object-Oriented Query Languages: The Notion and the Issues , 1992, IEEE Trans. Knowl. Data Eng..

[23]  Michael Kifer,et al.  F-logic: a higher-order language for reasoning about objects, inheritance, and scheme , 1989, SIGMOD '89.

[24]  Masatoshi Yoshikawa,et al.  ILOG: Declarative Creation and Manipulation of Object Identifiers , 1990, VLDB.

[25]  Barr and Feigenbaum Edward A. Avron,et al.  The Handbook of Artificial Intelligence , 1981 .

[26]  David Maier,et al.  Magic sets and other strange ways to implement logic programs (extended abstract) , 1985, PODS '86.

[27]  Z. Meral Özsoyoglu,et al.  LLO: an object-oriented deductive language with methods and method inheritance , 1991, SIGMOD '91.

[28]  Umeshwar Dayal,et al.  Active Database Management Systems , 1988, JCDKB.

[29]  Susan Darling Urban,et al.  A framework for declarative updates and constraint maintenance in object-oriented databases , 1993, Proceedings of IEEE 9th International Conference on Data Engineering.

[30]  Yves Caseau,et al.  Constraints in an Object-Oriented Deductive Database , 1991, DOOD.

[31]  Sunit K. Gala,et al.  Classification as a query processing technique in the CANDIDE semantic data model , 1989, [1989] Proceedings. Fifth International Conference on Data Engineering.

[32]  Susan Darling Urban,et al.  CONTEXT: A CONstrainT EXplanation Tool , 1992, Data Knowl. Eng..

[33]  Shamim A. Naqvi,et al.  Database updates in logic programming , 1988, PODS.

[34]  Weidong Chen,et al.  Declarative Specification and Evaluation of Database Updates , 1991, DOOD.

[35]  Michael Kifer,et al.  Deductive and Object-Oriented Databases , 1991 .

[36]  Marianne Winslett,et al.  Updating logical databases , 1990, Cambridge tracts in theoretical computer science.

[37]  Daniel P. Miranker.  TREAT: a better match algorithm for AI production systems , 1987, AAAI 1987.

[38]  P B Berra,et al.  Architecture for distributed multimedia database systems , 1990, Comput. Commun..

[39]  Sushil Jajodia,et al.  Temporal Databases: Theory, Design, and Implementation , 1993 .

[40]  David Maier,et al.  Readings in Object-Oriented Database Systems , 1989 .

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

[42]  Susan D. Urban,et al.  CDOL: a declarative platform for developing OODB applications , 1993, Proceedings of Phoenix Conference on Computers and Communications.