DOL: A Deductive Object Base Language
DOI:
Author:
Affiliation:

Clc Number:

Fund Project:

  • Article
  • |
  • Figures
  • |
  • Metrics
  • |
  • Reference
  • |
  • Related
  • |
  • Cited by
  • |
  • Materials
  • |
  • 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
    Related
    Cited by
Get Citation

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

Copy
Share
Article Metrics
  • Abstract:
  • PDF:
  • HTML:
  • Cited by:
History
  • Received:June 09,1997
  • Revised:September 19,1997
  • Adopted:
  • Online:
  • Published:
You are the firstVisitors
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