A rule-based object/task modelling approach

ABSTRACT

A rule-based object/task modelling approach is proposed which is characterized by specifying object behaviors and domain rules in terms of object-oriented logic programming, and specifying tasks and meta-rules in terms of network-oriented formalism. In addition the concepts of associations, virtual objects, multiple level integrity control and net expressions are introduced. The object-oriented logic programming system is extended for supporting the semantic modelling, and an explicit control knowledge representation mechanism is developed. This approach may be viewed as a step to the integration of object-oriented programming, logic programming, semantic modelling and event modelling, and to the combination of forward chaining and backward chaining techniques. Therefore, it can provide complementary benefits in deductive query support, integrity control, explicit control knowledge representation and intelligent user interface, and enhance the flexibility and extendibility of knowledge based systems to accommodate applications in multiple domains, towards a generalized, rule-based management of data, action and operational schemes. This approach is being designed and partially implemented on top of System C [Chen 85b] on a VAX computer.

REFERENCES

• Ant 81: V De Antonellls and B Zonta, "Modelling Events In Data Base Appllcatlons Deslgn", Proc of VLDB7, 1981, pp 23-31
• Chen 85a: Qiming Chen, Extending the implementation scheme of functional programming system FP for supporting the formal software development methodology, Proceedings of the 8th international conference on Software engineering, p.50-54, August 28-30, 1985, London, England
• Chen 85b: G Chen, "Toward A Generdllzed Data/Actlon Management An Approach for Speclfylng and Implementlng Operational bchemes', P#oc of let Pan Paclf#c Computer Conference, Melbourne. Aust#alla. Sep 10-13. 1985
• Cox 84: B d Cox, "Message/ObJect. An Evolut#onar# Change", IEEE Trans On SE, pp 50-61, dan 1984
• Fuchi 85: K Fuchl. "The dapanese Fifth Oeneratlon Computer Systems Project", Proc of The 1st Pan Pacxflc Computer Conference, pp 1553-1560, 1985
• Gall 81: H galla1#e. "IMpacts Of Loglc on Data Bases", P#oc of VLDB 7. pp 248-259, 1981
• Gall 84: Herve Gallaire , Jack Minker , Jean-Marie Nicolas, Logic and Databases: A Deductive Approach, ACM Computing Surveys (CSUR), v.16 n.2, p.153-185, June 1984 [doi>10.1145/356924.356929]
• Hammer 78: Michael Hammer , Dennis McLeod, The semantic data model: a modelling mechanism for data base applications, Proceedings of the 1978 ACM SIGMOD international conference on management of data, May 31-June 02, 1978, Austin, Texas [doi>10.1145/509252.509264]
• Jarke 84: Matthias Jarke , Jim Clifford , Yannis Vassiliou, An optimizing prolog front-end to a relational query system, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
• Melk 83a: M MelkanofF and G Chen. "An Experimental Database Which Combines Statlc and D#;namlc Capab111tles", Proc of Eng#neerlng Deslgn Appllcatzons, ACM-SiOMOD'83/Database Week, pp 53-bl, 1983
• Melk 83b: M Melkanoff and (l Chert, "Integrating Action Capabllltzes into Informatlon Databases", Proc of 2nd Internatlonal Conference on Databases (ICOD-2), Cambridge, England, 1983
• Melk 83c: M A Melkanoff and G Chen, "A Oenerallzed Databdse Management System for Supportlng General Modellzng and S;mulatzon", 4th International Sgmposlum on Modelling and S1mulatzon, Lugano, Swltzerland, pp 158-162, 1983
• Parker 84: D. S. Parker, Jr., Logic programming and databases, Proceedings from the first international workshop on Expert database systems, p.35-48, January 1986, Kiawah Island, South Carolina, United States
• Rid 83: Dzenan Ridjanovic , Michael L. Brodie, Action and transaction skeletons:: High level language constructs for database transactions, Proceedings of the 1983 ACM SIGPLAN symposium on Programming language issues in software systems, p.94-99, June 27-29, 1983, San Francisco, California, United States
• Shep 84: Allan Shepherd , Larry Kerschberg, Prism: a knowledge based system for semantic integrity specification and enforcement in database systems, Proceedings of the 1984 ACM SIGMOD international conference on Management of data, June 18-21, 1984, Boston, Massachusetts
• Shoe 67: d Shoenfseld, "Mathematical Logic", Addlson-Wesle9, 1967
• Stone 84: A Stonebraker, E Anderson, E Hanson and B Rubensteln, "GUEL as a Data Tupe", ACM SIGMOD 84, pp #08-214, 1984
• Tsic 82: D Ts#ch#Itz#s, F Lochovskg, "Data Models", Prentlce-Hall, 1982
• Ullman 85: Jeffrey D. Ullman, Implementation of logiclal query languages for databases (abstract only), ACM SIGMOD Record, v.14 n.4, p.444, May 1985
• Vass 83: Y Vassil#ou, d Clifford and M clarke, "Ho# does an Expert Sgstem Get #ts Data'% P#oc of VLDB 9# pp 70-72, 19#;3
• Wilson 83: Gerald A. Wilson , Eric A. Domeshek , Ellen L. Drascher , Jeffrey S. Dean, The Multipurpose Presentation System, Proceedings of the 9th International Conference on Very Large Data Bases, p.56-69, October 31-November 02, 1983
• Zani 84: C Zan#olo, "ObJect-Oriented Programming #n P#olo9", Proc of Int Logic Programming S#.,poslum. IEEE 1984
• Zani 85: C Zan#olo, "The Representation and Deductive Retrieval of Complex ObJects". Proc of VLDB 11, pp 4#t#-469, 1985

INDEX TERMS

Classification:
  H. Information Systems
  H.2 DATABASE MANAGEMENT

  I. Computing Methodologies
  I.2 ARTIFICIAL INTELLIGENCE
      I.2.3 Deduction and Theorem Proving
          Subjects: Deduction (e.g., natural, rule-based); Metatheory**; Logic programming
      I.2.4 Knowledge Representation Formalisms and Methods
          Subjects: Representations (procedural and rule-based); Semantic networks
  I.3 COMPUTER GRAPHICS

General Terms:
Languages, Theory, Verification