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 条

[1] A COMPLETE AXIOMATIZATION OF FULL JOIN DEPENDENCIES
SCIORE, E
JOURNAL OF THE ACM, 1982, 29 (02) : 373 - 393
[2] A complete axiomatization of full acyclic join dependencies
Malvestuto, FM
INFORMATION PROCESSING LETTERS, 1998, 68 (03) : 133 - 139
[3] A sound and complete axiomatization of delimited continuations
Kameyama, Y
Hasegawa, M
ACM SIGPLAN NOTICES, 2003, 38 (09) : 177 - 188
[4] ON THE EXISTENCE OF THE FINITE COMPLETE AXIOMATIZATION FOR DATA DEPENDENCIES.
Luo, Laiwu
Xibei Gongye Daxue Xuebao/Journal of Northwestern Polytechnical University, 1986, 4 (04): : 441 - 447
[5] TEMPLATE DEPENDENCIES - A LARGE CLASS OF DEPENDENCIES IN RELATIONAL DATABASES AND ITS COMPLETE AXIOMATIZATION
SADRI, F
ULLMAN, JD
JOURNAL OF THE ACM, 1982, 29 (02) : 363 - 372
[6] A complete axiomatization of fuzzy functional dependencies using fuzzy function
Tyagi, BK
Sharfuddin, A
Dutta, RN
Tayal, DK
FUZZY SETS AND SYSTEMS, 2005, 151 (02) : 363 - 379
[7] On the existence of finite complete axiomatization for transitive closure and functional dependencies
1600, (05):
[8] A SOUND AND COMPLETE AXIOMATIZATION FOR DYNAMIC TOPOLOGICAL LOGIC
Fernandez-Duque, David
JOURNAL OF SYMBOLIC LOGIC, 2012, 77 (03) : 947 - 969
[9] CANCELLATION LAW AND A COMPLETE AXIOMATIZATION OF FUNCTIONAL-DEPENDENCIES IN RELATIONAL DATABASE
SAXENA, PC
TRIPATHI, RC
COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1989, 8 (04): : 347 - 356
[10] A complete axiomatization for fuzzy functional and multivalued dependencies in fuzzy database relations
Sözat, MI
Yazici, A
FUZZY SETS AND SYSTEMS, 2001, 117 (02) : 161 - 181

← 1 2 3 4 5 →