A SOUND AND COMPLETE AXIOMATIZATION OF EMBEDDED CROSS DEPENDENCIES

被引：0

作者：

BANCILHON, F ^{[1
]}

RICHARD, P ^{[1
]}

机构：

[1] UNIV PARIS 11,LRI,F-91405 ORSAY,FRANCE

来源：

THEORETICAL COMPUTER SCIENCE | 1984年 / 34卷 / 03期

关键词：

D O I：

10.1016/0304-3975(84)90059-8

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：343 / 350

页数：8

共 50 条

[41] OBLIGATION AS WEAKEST PERMISSION: A STRONGLY COMPLETE AXIOMATIZATION
Van De Putte, Frederik
REVIEW OF SYMBOLIC LOGIC, 2016, 9 (02): : 370 - 379
[42] Adequacy and Complete Axiomatization for Timed Modal Logic
Jaziri, Samy
Larsen, Kim G.
Mardare, Radu
Xue, Bingtian
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2014, 308 : 183 - 210
[43] A COMPLETE AXIOMATIZATION OF A THEORY WITH FEATURE AND ARITY CONSTRAINTS
BACKOFEN, R
JOURNAL OF LOGIC PROGRAMMING, 1995, 24 (1-2): : 37 - 71
[44] The logic of "initially" and "next": Complete axiomatization and complexity
Schobbens, PY
Raskin, JF
INFORMATION PROCESSING LETTERS, 1999, 69 (05) : 221 - 225
[45] The complexity of embedded axiomatization for a class of closed database views
Stephen J. Hegner
Annals of Mathematics and Artificial Intelligence, 2006, 46 : 38 - 97
[46] The complexity of embedded axiomatization for a class of closed database views
Hegner, SJ
ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2006, 46 (1-2) : 38 - 97
[47] SUBSET DEPENDENCIES AND A COMPLETENESS RESULT FOR A SUBCLASS OF EMBEDDED MULTIVALUED DEPENDENCIES
SAGIV, Y
WALECKA, SF
JOURNAL OF THE ACM, 1982, 29 (01) : 103 - 117
[48] COMPLETE DECOMPOSITIONS OF JOIN DEPENDENCIES
KOBAYASHI, I
INFORMATION SYSTEMS, 1994, 19 (07) : 583 - 603
[49] Attribute Dependencies and Complete Orderings
Encheva, Sylvia
RECENT ADVANCES IN INFORMATION SYSTEMS AND TECHNOLOGIES, VOL 2, 2017, 570 : 969 - 974
[50] SIMPLIFICATION RULES AND COMPLETE AXIOMATIZATION FOR RELATIONAL UPDATE TRANSACTIONS
KARABEG, D
VIANU, V
ACM TRANSACTIONS ON DATABASE SYSTEMS, 1991, 16 (03): : 439 - 475

← 1 2 3 4 5 →