Titlebook: MFDBS 87; 1st Symposium on Mat J. Biskup,J. Demetrovics,B. Thalheim Conference proceedings 1988 Springer-Verlag Berlin Heidelberg 1988 comp

無(wú)畏

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

https://doi.org/10.1007/3-540-19121-6complexity; complexity theory; data model; database; databases; logic; relational database

Externalize

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.

說(shuō)笑

978-3-540-19121-6Springer-Verlag Berlin Heidelberg 1988

完成才會(huì)征服

蠟燭

Lecture Notes in Computer Sciencehttp://image.papertrans.cn/m/image/620143.jpg

motor-unit

Palter

征兵

0302-9743 summary 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

憎惡