000			01365cam a2200313 a 4500
999			_c3572 _d3572
020			_a0792381297
020			_a97807923812979
040			_cCUS
082	0	0	_a005.74 _bCHO/L
245	0	0	_aLogics for databases and information systems/ _cedited by Jan Chomicki and Gunter Saake.
260			_aBoston: _bKluwer Academic Publishers, _cc1998.
300			_axiii, 430 p.: _bill. ; _c25 cm.
505			_a1. Introduction to Logics for Databases and Information Systems; J. Chomicki, G. Saake. 2. A Logic Primer; S. Conrad. 3. Temporal Logic in Information Systems; J. Chomicki, D. Toman. 4. The Role of Deontic Logic in the Specification of Information Systems; J.-J.Ch. Meyer, et al. 5. A Logic for Programming Database Transactions; A.J. Bonner, M. Kifer. 6. Logics for Specifying Concurrent Information Systems; H.-D. Ehrich, et al. 7. Evolving Logical Specification in Information Systems; S. Conrad, et al. 8. Description Logics for Conceptual Data Modeling; D. Calvanese, et al. 9. Integrity Constraints: Semantics and Applications; P. Godfrey, et al. 10. Logical Approaches to Incomplete Information: A Survey; R. van der Meyden. 11. Declarative Frameworks for Inheritance; L.V.S. Lakshmanan, K. Thirunarayan. 12. On Logical Foundations of Active Databases; G. Lausen, et al. Index.
650		0	_aComputer logic.
650		0	_aDatabase management.
700	1		_aChomicki, Jan.
700	1		_aSaake, Gunter,
942			_cWB16