Datalog and Logic Databases - Cristian Molinaro,Sergio Greco
-30% koodiga BOOKS
Saadetis 12-18 tööpäeva jooksul
30-päevane tagastamisõigus
The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized databases in terms of the relational calculus and the relational algebra. A major influence on the use of logic in databases was the development of the field of logic programming. Logic provides a convenient formalism for studying classical database problems and has the important property of being declarative, that i ... Täielik kirjeldus
Võib-olla meeldib sulle ka
TOP
The Demon-Haunted World: Science as a Candle in the Dark
-30% koodiga BOOKS
Meie tarnija laos
TOP
How Africa Works: Success and Failure on the World's Last Developmental Frontier
-30% koodiga BOOKS
Meie tarnija laos
TOP
Many Faces, One Purpose: A Managers Handbook on Women in Firefighting
U. S. Fire Administration, Homeland Security
-30% koodiga BOOKS
Lõppenud
TOP
The Gulf Moment: Arab Relations Since 2011
Florence Gaub, U. S. Army War College, Strategic Studies Institute
-30% koodiga BOOKS
Lõppenud
TOP
The Code Book: The Science of Secrecy from Ancient Egypt to Quantum Cryptography
-30% koodiga BOOKS
Meie tarnija laos
TOP
Introduction to Algorithms
Ronald L. Rivest, Charles E. Leiserson, Clifford Stein, Thomas H. Cormen
-30% koodiga BOOKS
Meie tarnija laos
TOP
Thinking in Systems: International Bestseller
-30% koodiga BOOKS
Meie tarnija laos
TOP
Skin in the Game: Hidden Asymmetries in Daily Life
-30% koodiga BOOKS
Meie tarnija laos
TOP
Dinosaurs and Prehistoric Life: The Definitive Visual Guide to Prehistoric Animals
-30% koodiga BOOKS
Meie tarnija laos
TOP
The Unaccountability Machine: Why Big Systems Make Terrible Decisions
-30% koodiga BOOKS
Meie tarnija laos
TOP
Crossing Borders: About the birth of the Consortium of European Research Libraries, the organisation's early years and its path to maturity, spanning the period from the late twentieth century to the first decades of the twenty-first century
-30% koodiga BOOKS
Meie tarnija laos
TOP
Cybernetics: Second Edition: Or the Control and Communication in the Animal and the Machine
-30% koodiga BOOKS
Meie tarnija laos
TOP
101 Things I Learned in Architecture School
-30% koodiga BOOKS
Meie tarnija laos
TOP
Einhundert Zitate Female Edition: Ein Postkartenbuch mit 100 Zitaten
-30% koodiga BOOKS
Meie tarnija laos
Cook This Book: Techniques That Teach and Recipes to Repeat: A Cookbook
-30% koodiga BOOKS
Meie tarnija laos
The Last Shah: America, Iran, and the Fall of the Pahlavi Dynasty
-30% koodiga BOOKS
Meie tarnija laos
Kirjeldus
The use of logic in databases started in the late 1960s. In the early 1970s Codd formalized databases in terms of the relational calculus and the relational algebra. A major influence on the use of logic in databases was the development of the field of logic programming. Logic provides a convenient formalism for studying classical database problems and has the important property of being declarative, that is, it allows one to express what she wants rather than how to get it. For a long time, relational calculus and algebra were considered the relational database languages. However, there are simple operations, such as computing the transitive closure of a graph, which cannot be expressed with these languages. Datalog is a declarative query language for relational databases based on the logic programming paradigm. One of the peculiarities that distinguishes Datalog from query languages like relational algebra and calculus is recursion, which gives Datalog the capability to express queries like computing a graph transitive closure. Recent years have witnessed a revival of interest in Datalog in a variety of emerging application domains such as data integration, information extraction, networking, program analysis, security, cloud computing, ontology reasoning, and many others. The aim of this book is to present the basics of Datalog, some of its extensions, and recent applications to different domains.
Lisateave
| Autor | Cristian Molinaro, Sergio Greco |
|---|---|
| Kirjastaja | Springer Nature Switzerland |
| Series | Synthesis Lectures on Data Management |
| Väljalaskeaasta | 2015 |
| Kaanetüüp | Pehme kaanega |
| EAN | 9783031007262 |