A BASIS FOR DEDUCTIVE DATABASE-SYSTEMS .2.

被引：49
作者：
LLOYD, JW [1 ]
TOPOR, RW [1 ]
机构：
[1] UNIV MELBOURNE,DEPT COMP SCI,PARKVILLE,VIC 3052,AUSTRALIA
来源：
JOURNAL OF LOGIC PROGRAMMING | 1986年 / 3卷 / 01期
关键词：
D O I：
10.1016/0743-1066(86)90004-X
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：55 / 67
页数：13
相关论文
共 16 条
  • [1] Clark K. L., 1978, Logic and data bases, P293
  • [2] ON DATABASE-SYSTEMS DEVELOPMENT THROUGH LOGIC
    DAHL, V
    [J]. ACM TRANSACTIONS ON DATABASE SYSTEMS, 1982, 7 (01): : 102 - 123
  • [3] LOGIC AND DATABASES: A DEDUCTIVE APPROACH.
    Gallaire, Herve
    Minker, Jack
    Nicolas, Jean-Marie
    [J]. Computing surveys, 1984, 16 (02): : 153 - 185
  • [4] GALLAIRE H, 1978, LOGIC DATABASES
  • [5] GALLAIRE H, 1984, ADV DATABASE THEORY, V2
  • [6] GALLAIRE H, 1981, ADV DATABASE THEORY, V1
  • [7] Lloyd J. W., 1985, Journal of Logic Programming, V2, P93, DOI 10.1016/0743-1066(85)90013-5
  • [8] MAKING PROLOG MORE EXPRESSIVE.
    Lloyd, John W.
    Topor, R.W.
    [J]. Journal of Logic Programming, 1984, 1 (03): : 225 - 240
  • [9] LLOYD JW, 1983, AUST COMPUT J, V15, P52
  • [10] LLOYD JW, 1984, SYMBOLIC COMPUTATION
12