无畏
发表于 2025-3-25 06:11:47
Designing alpha-acyclic BCNF-database schemes, First, it is shown by a sample relation scheme, that these three properties are not always obtainable. This result is independent of any design method. Secondly, the problem of using the BCNF-decomposition algorithm for designing database schemes, which are additionally α-acyclic, is investigated.
propose
发表于 2025-3-25 09:10:20
https://doi.org/10.1007/3-540-19121-6complexity; complexity theory; data model; database; databases; logic; relational database
Externalize
发表于 2025-3-25 13:25:33
Modal logic and incomplete information,Our purpose is to use modal logic for incomplete information processing..So we study some systems - K1 and IDB -, more adapted to our task than S4, but with a very strong use of CWA..Then we propose a more flexible approach: the "multiverse" approach, which gives, to our opinion, a good formalism for incomplete information.
说笑
发表于 2025-3-25 18:45:06
978-3-540-19121-6Springer-Verlag Berlin Heidelberg 1988
完成才会征服
发表于 2025-3-25 22:32:54
http://reply.papertrans.cn/63/6202/620143/620143_25.png
蜡烛
发表于 2025-3-26 02:16:59
Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/620143.jpg
motor-unit
发表于 2025-3-26 04:32:11
http://reply.papertrans.cn/63/6202/620143/620143_27.png
Palter
发表于 2025-3-26 12:29:15
http://reply.papertrans.cn/63/6202/620143/620143_28.png
征兵
发表于 2025-3-26 15:14:04
0302-9743summary of the two panel discussions is also included. The volume is intended to be a reflection of the current state of knowledge and a guide to further development in database theory. The main topics covered are: theoretical fundaments of the relational data model (dependency theory, design theor
憎恶
发表于 2025-3-26 18:50:30
http://reply.papertrans.cn/63/6202/620143/620143_30.png