DESIGN AND IMPLEMENTATION OR ROCK-AND-ROLL - A DEDUCTIVE OBJECT-ORIENTED DATABASE SYSTEM

被引：22
作者：
BARJA, ML
FERNANDES, AAA
PATON, NW
WILLIAMS, MH
DINN, A
ABDELMOTY, AI
机构：
[1] Department of Computing and Electrical Engineering, Heriot-Watt University, Edinburgh
来源：
INFORMATION SYSTEMS | 1995年 / 20卷 / 03期
基金：
英国工程与自然科学研究理事会;
关键词：
DEDUCTIVE OBJECT-ORIENTED DATABASES; DEDUCTIVE DATABASES; OBJECT-ORIENTED DATABASES; DATABASE PROGRAMMING; LOGIC PROGRAMMING;
D O I：
10.1016/0306-4379(95)00009-S
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper presents an approach to the development of a deductive object-oriented database system, describing the key design decisions and their consequences for implementation. The approach is novel, in that it integrates an object-oriented database system manipulated using an imperative programming language (ROCK) with a logic language for expressing queries and methods (ROLL). The integration is made seamless by deriving both the imperative and logic languages from a single formally defined data model, thereby avoiding impedance mismatches when they are integrated.
引用
收藏
页码：185 / 211
页数：27
相关论文
共 46 条
  • [1] ABDELMOTY AI, 1994, 5TH P INT C DAT EXP, P445
  • [2] ABITEBOUL S, 1988, LECT NOTES COMPUT SC, V303, P271
  • [3] Abiteboul S., 1990, Data & Knowledge Engineering, V5, P263, DOI 10.1016/0169-023X(90)90016-7
  • [4] ABITEBOUL S, 1989, 1989 P ACM SIGMOD IN, P159
  • [5] ABITEBOUL S, 1988, 7TH P ACM S PRINC DA, P240
  • [6] ATKINSON MP, 1987, COMPUT SURV, V19, P105, DOI 10.1145/62070.45066
  • [7] BARJA ML, 1994, J PROGRAM LANG, V2, P93
  • [8] BARJA ML, 1992, TR92016 HER WATT U D
  • [9] BARJA ML, 1994, 20TH P INT C VER LAR, P463
  • [10] BERTINO E, 1992, LECT NOTES COMPUT SC, V580, P168
12345