• Article
  • | |
  • Metrics
  • |
  • Reference [1]
  • |
  • Related [20]
  • |
  • Cited by [2]
  • | |
  • Comments
    Abstract:

    The integration of deductive database and object database results in deductive object database which has capacities of deductive query of deductive database and strong modeling of object database. DOL (deductive object base language) is designed as a deductive object base language. It supports class, object identifier, complex object, partial set, inheritance and overriding. A immediate consequent operator, similar to tradition's, is defined based on two operators: compact operator and overriding operator in this paper. In addition, a fixed point semantics is analyzed.

    Reference
    1  Kifer M, Lausen G, Wu J. Logic foundations of object oriented and frame based language. Journal of ACM, 1995,42(4):741~843 2  Abiteboul S, Kanellakis P C. Object identify as a query language primitive . In: Proceedings of ACM SIGMOD International Conference on Management of Data. New York: ACM Press, 1989. 157~179 3  Liu Meng-chi. ROL: the deductive object base programming language. Information Systems, 1996,21(5):431~457 4  Dobbie G, Topor. On the declarative and procedural semantics of deductive object oriented systems. Journal of Intelligent Information Systems, 1995,4(2):193~219 5  Liu Meng-chi. Relationlog: a typed extension to datalog with sets and tuples. In: Proceedings of the International Logic Programming Symposium. MIT Press, December 1995. 83~97 6  Abiteboul S, Lausen G, Uphoff H et al. Methods and rules. In:Proceedings of ACM SIGMOD International Conference on Management of Data. New York, 1993. 32~41 7  Beeri C, Naqvi S, Shmueli O et al. Set construction in a logic database language. Journal of Logic Programming, 1991,10(3,4):181~232
    Comments
    Comments
    分享到微博
    Submit
Get Citation

王修伦,孙永强. DOL: 一个演绎对象库语言.软件学报,1998,9(10):771-776

Copy
Share
Article Metrics
  • Abstract:3592
  • PDF: 4308
  • HTML: 0
  • Cited by: 0
History
  • Received:June 09,1997
  • Revised:September 19,1997
You are the first2034301Visitors
Copyright: Institute of Software, Chinese Academy of Sciences Beijing ICP No. 05046678-4
Address:4# South Fourth Street, Zhong Guan Cun, Beijing 100190,Postal Code:100190
Phone:010-62562563 Fax:010-62562533 Email:jos@iscas.ac.cn
Technical Support:Beijing Qinyun Technology Development Co., Ltd.

Beijing Public Network Security No. 11040202500063