ON BOUNDED DATABASE SCHEMES AND BOUNDED HORN-CLAUSE PROGRAMS

被引：9

|

作者：

SAGIV, Y ^{[1
]}

机构：

[1] STANFORD UNIV,STANFORD,CA 94305

来源：

SIAM JOURNAL ON COMPUTING | 1988年 / 17卷 / 01期

关键词：

D O I：

10.1137/0217001

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

收藏

页码：1 / 22

页数：22

相关论文

共 50 条

[1] STORING AND EVALUATING HORN-CLAUSE RULES IN A RELATIONAL DATABASE
BOAS, GV
BOAS, PV
[J]. IBM JOURNAL OF RESEARCH AND DEVELOPMENT, 1986, 30 (01) : 80 - 92
[2] PROCEDURES IN HORN-CLAUSE PROGRAMMING
ABDALLAH, MAN
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1986, 225 : 433 - 447
[3] ON CHARACTERIZING BOUNDEDNESS OF DATABASE SCHEMES WITH BOUNDED DEPENDENCIES
WANG, K
[J]. THEORETICAL COMPUTER SCIENCE, 1992, 100 (02) : 347 - 364
[4] AUTOMATED REFINEMENT OF FIRST-ORDER HORN-CLAUSE DOMAIN THEORIES
RICHARDS, BL
MOONEY, RJ
[J]. MACHINE LEARNING, 1995, 19 (02) : 95 - 131
[5] Smallest Horn clause programs
Devienne, P
Lebegue, P
Parrain, A
Routier, JC
Wurtz, J
[J]. JOURNAL OF LOGIC PROGRAMMING, 1996, 27 (03): : 227 - 267
[6] ON GENERATING DATABASE SCHEMES BOUNDED OR CONSTANT-TIME-MAINTAINABLE BY EXTENSIBILITY
CHAN, EPF
HERNANDEZ, HJ
[J]. ACTA INFORMATICA, 1988, 25 (05) : 475 - 496
[7] TOWARD INTEGRATION OF THE IMPERATIVE AND LOGIC PROGRAMMING PARADIGMS - HORN-CLAUSE PROGRAMMING IN THE PASCAL ENVIRONMENT
RADENSKY, A
[J]. SIGPLAN NOTICES, 1990, 25 (02): : 25 - 34
[8] SEMANTICS OF DISTRIBUTED HORN CLAUSE PROGRAMS
RAMANUJAM, R
[J]. LECTURE NOTES IN COMPUTER SCIENCE, 1987, 287 : 361 - 371
[9] StateDroid: Stateful Detection of Stealthy Attacks in Android Apps via Horn-Clause Verification
Junaid, Mohsin
Ming, Jiang
Kung, David
[J]. 34TH ANNUAL COMPUTER SECURITY APPLICATIONS CONFERENCE (ACSAC 2018), 2018, : 198 - 209
[10] Automated proofs of horn-clause inductive theo-rems for conditional term rewriting systems
Kurita, Taichi
Aoto, Takahito
[J]. Computer Software, 2019, 36 (02) : 61 - 75

← 1 2 3 4 5 →