TY - BOOK ID - 2465641 TI - Database theory-ICDT '92 : 4th international conference , Berlin, Germany, October 1992 : proceedings AU - Biskup, Joachim AU - Hull, Richard PY - 1992 VL - 646 SN - 0387560394 3540560394 PB - Berlin London Tokyo Springer Verlag DB - UniCat KW - 681.3*H2 KW - Database management KW - 681.3*F13 KW - 681.3*F41 KW - 681.3*I2 KW - Database management: security; integrity; protection--See also {?681.5*E5} KW - Congresses. KW - Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - Artificial intelligence. AI KW - 681.3*I2 Artificial intelligence. AI KW - 681.3*F41 Mathematical logic: computability theory; computational logic; lambda calculus; logic programming; mechanical theorem proving; model theory; proof theory;recursive function theory--See also {681.3*F11}; {681.3*I22}; {681.3*I23} KW - 681.3*F13 Complexity classes: complexity hierarchies; machine-independent complexity; reducibility and completeness; relations among complexity classes; relations among complexity measures (Computation by abstract devices)--See also {681.3*F2} KW - 681.3*H2 Database management: security; integrity; protection--See also {?681.5*E5} KW - Bases de données KW - Congresses KW - Gestion KW - Congrès KW - Databases. UR - https://www.unicat.be/uniCat?func=search&query=sysid:2465641 AB - ER -