Logics for Databases and Information Systems
211.21 CHF
Versandkostenfrei
Lieferzeit: 7-14 Werktage
- Artikel-Nr.: 10365445
Beschreibung
1. 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.
Eigenschaften
Breite: | 155 |
Höhe: | 235 |
Seiten: | 430 |
Sprachen: | Englisch |
Autor: | Gunter Saake, Jan Chomicki |
Bewertung
Bewertungen werden nach Überprüfung freigeschaltet.
Zuletzt angesehen