Buch, Englisch, 394 Seiten, Previously published in hardcover, Format (B × H): 178 mm x 254 mm, Gewicht: 771 g
Reihe: Texts in Computer Science
Buch, Englisch, 394 Seiten, Previously published in hardcover, Format (B × H): 178 mm x 254 mm, Gewicht: 771 g
Reihe: Texts in Computer Science
ISBN: 978-1-4419-3155-9
Verlag: Springer
Differing from other books on the subject, this one uses the framework of constraint databases to provide a natural and powerful generalization of relational databases. An important theme running through the text is showing how relational databases can smoothly develop into constraint databases, without sacrificing any of the benefits of relational databases whilst gaining new advantages. Peter Revesz begins by discussing data models and how queries may be addressed to them. From here, he develops the theory of relational and constraint databases, including Datalog and the relational calculus, concluding with three sample constraint database systems -- DISCO, DINGO, and RATHER. Advanced undergraduates and graduates in computer science will find this a clear introduction to the subject, while professionals and researchers will appreciate this novel perspective on their subject.
Zielgruppe
Professional/practitioner
Autoren/Hrsg.
Fachgebiete
- Mathematik | Informatik EDV | Informatik Daten / Datenbanken Zeichen- und Zahlendarstellungen
- Mathematik | Informatik EDV | Informatik Informatik Künstliche Intelligenz Wissensbasierte Systeme, Expertensysteme
- Mathematik | Informatik EDV | Informatik Programmierung | Softwareentwicklung Programmierung: Methoden und Allgemeines
Weitere Infos & Material
Infinite Relational Databases.- Constraint Databases.- Relational Algebra and SQL.- Datalog Queries.- Aggregation and Negation Queries.- Constraint Automata.- Refinement Queries.- Safe Query Languages.- Evaluation of Queries.- Computational Complexity.- Certification.- Implementation Methods.- Spatiotemporal Databases.- Interoperability.- Approximation by Constraints.- Data Visualization.- Indexing.- The MLPQ System.- The DISCO System.- The PReSTO System.- Computer Vision.- Bioinformatics.- Environmental Modeling.
