Datalog and logic databases:
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...
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
[San Rafael, California]
Morgan & Claypool Publishers
[2016]
|
| Schriftenreihe: | Synthesis lectures on data management
#41 |
| Schlagwörter: | |
| Links: | https://doi.org/10.2200/S00648ED1V01Y201505DTM041 |
| Zusammenfassung: | 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 |
| Beschreibung: | Part of: Synthesis digital library of engineering and computer science Title from PDF title page (viewed on November 24, 2015) |
| Umfang: | 1 Online-Resource (xiii, 155 Seiten) |
| ISBN: | 9781627051149 |
| DOI: | 10.2200/S00648ED1V01Y201505DTM041 |
Internformat
MARC
| LEADER | 00000nam a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV046427511 | ||
| 003 | DE-604 | ||
| 005 | 20211125 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 200217s2016 xx o|||| 00||| eng d | ||
| 020 | |a 9781627051149 |c ebook |9 978-1-62705-114-9 | ||
| 024 | 7 | |a 10.2200/S00648ED1V01Y201505DTM041 |2 doi | |
| 035 | |a (ZDB-105-MCS)7347035 | ||
| 035 | |a (OCoLC)1141146341 | ||
| 035 | |a (DE-599)BVBBV046427511 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-83 | ||
| 082 | 0 | |a 005.133 |2 23 | |
| 100 | 1 | |a Greco, Sergio |d ca. 20./21. Jh. |e Verfasser |0 (DE-588)1091087059 |4 aut | |
| 245 | 1 | 0 | |a Datalog and logic databases |c Sergio Greco and Cristian Molinaro |
| 264 | 1 | |a [San Rafael, California] |b Morgan & Claypool Publishers |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Resource (xiii, 155 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 1 | |a Synthesis lectures on data management |v #41 | |
| 500 | |a Part of: Synthesis digital library of engineering and computer science | ||
| 500 | |a Title from PDF title page (viewed on November 24, 2015) | ||
| 520 | |a 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 | ||
| 650 | 4 | |a Datalog (Computer program language) | |
| 650 | 4 | |a Relational databases | |
| 650 | 4 | |a Logic design |x Data processing | |
| 650 | 4 | |a Logic programming | |
| 650 | 0 | 7 | |a Datalog |0 (DE-588)4234719-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbankverwaltung |0 (DE-588)4389357-0 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Datenbankverwaltung |0 (DE-588)4389357-0 |D s |
| 689 | 0 | 1 | |a Datalog |0 (DE-588)4234719-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Molinaro, Cristian |e Verfasser |0 (DE-588)1091088284 |4 aut | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-62705-113-2 |
| 830 | 0 | |a Synthesis lectures on data management |v #41 |w (DE-604)BV036731811 |9 41 | |
| 856 | 4 | 0 | |u https://doi.org/10.2200/S00648ED1V01Y201505DTM041 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-105-MCS | ||
| 912 | |a ZDB-105-MCDM | ||
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-031839814 | |
Datensatz im Suchindex
| _version_ | 1818986510838398976 |
|---|---|
| any_adam_object | |
| author | Greco, Sergio ca. 20./21. Jh Molinaro, Cristian |
| author_GND | (DE-588)1091087059 (DE-588)1091088284 |
| author_facet | Greco, Sergio ca. 20./21. Jh Molinaro, Cristian |
| author_role | aut aut |
| author_sort | Greco, Sergio ca. 20./21. Jh |
| author_variant | s g sg c m cm |
| building | Verbundindex |
| bvnumber | BV046427511 |
| collection | ZDB-105-MCS ZDB-105-MCDM |
| ctrlnum | (ZDB-105-MCS)7347035 (OCoLC)1141146341 (DE-599)BVBBV046427511 |
| dewey-full | 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.133 |
| dewey-search | 005.133 |
| dewey-sort | 15.133 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| doi_str_mv | 10.2200/S00648ED1V01Y201505DTM041 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03442nam a2200529zcb4500</leader><controlfield tag="001">BV046427511</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20211125 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">200217s2016 xx o|||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781627051149</subfield><subfield code="c">ebook</subfield><subfield code="9">978-1-62705-114-9</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.2200/S00648ED1V01Y201505DTM041</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-105-MCS)7347035</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1141146341</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046427511</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-83</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Greco, Sergio</subfield><subfield code="d">ca. 20./21. Jh.</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1091087059</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Datalog and logic databases</subfield><subfield code="c">Sergio Greco and Cristian Molinaro</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[San Rafael, California]</subfield><subfield code="b">Morgan & Claypool Publishers</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Resource (xiii, 155 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Synthesis lectures on data management</subfield><subfield code="v">#41</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Part of: Synthesis digital library of engineering and computer science</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from PDF title page (viewed on November 24, 2015)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">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</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datalog (Computer program language)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Relational databases</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datalog</subfield><subfield code="0">(DE-588)4234719-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbankverwaltung</subfield><subfield code="0">(DE-588)4389357-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbankverwaltung</subfield><subfield code="0">(DE-588)4389357-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Datalog</subfield><subfield code="0">(DE-588)4234719-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Molinaro, Cristian</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1091088284</subfield><subfield code="4">aut</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-62705-113-2</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Synthesis lectures on data management</subfield><subfield code="v">#41</subfield><subfield code="w">(DE-604)BV036731811</subfield><subfield code="9">41</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.2200/S00648ED1V01Y201505DTM041</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-105-MCS</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-105-MCDM</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-031839814</subfield></datafield></record></collection> |
| id | DE-604.BV046427511 |
| illustrated | Not Illustrated |
| indexdate | 2024-12-20T18:51:57Z |
| institution | BVB |
| isbn | 9781627051149 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-031839814 |
| oclc_num | 1141146341 |
| open_access_boolean | |
| owner | DE-83 |
| owner_facet | DE-83 |
| physical | 1 Online-Resource (xiii, 155 Seiten) |
| psigel | ZDB-105-MCS ZDB-105-MCDM |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Morgan & Claypool Publishers |
| record_format | marc |
| series | Synthesis lectures on data management |
| series2 | Synthesis lectures on data management |
| spelling | Greco, Sergio ca. 20./21. Jh. Verfasser (DE-588)1091087059 aut Datalog and logic databases Sergio Greco and Cristian Molinaro [San Rafael, California] Morgan & Claypool Publishers [2016] © 2016 1 Online-Resource (xiii, 155 Seiten) txt rdacontent c rdamedia cr rdacarrier Synthesis lectures on data management #41 Part of: Synthesis digital library of engineering and computer science Title from PDF title page (viewed on November 24, 2015) 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 Datalog (Computer program language) Relational databases Logic design Data processing Logic programming Datalog (DE-588)4234719-1 gnd rswk-swf Datenbankverwaltung (DE-588)4389357-0 gnd rswk-swf Datenbankverwaltung (DE-588)4389357-0 s Datalog (DE-588)4234719-1 s DE-604 Molinaro, Cristian Verfasser (DE-588)1091088284 aut Erscheint auch als Druck-Ausgabe 978-1-62705-113-2 Synthesis lectures on data management #41 (DE-604)BV036731811 41 https://doi.org/10.2200/S00648ED1V01Y201505DTM041 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Greco, Sergio ca. 20./21. Jh Molinaro, Cristian Datalog and logic databases Synthesis lectures on data management Datalog (Computer program language) Relational databases Logic design Data processing Logic programming Datalog (DE-588)4234719-1 gnd Datenbankverwaltung (DE-588)4389357-0 gnd |
| subject_GND | (DE-588)4234719-1 (DE-588)4389357-0 |
| title | Datalog and logic databases |
| title_auth | Datalog and logic databases |
| title_exact_search | Datalog and logic databases |
| title_full | Datalog and logic databases Sergio Greco and Cristian Molinaro |
| title_fullStr | Datalog and logic databases Sergio Greco and Cristian Molinaro |
| title_full_unstemmed | Datalog and logic databases Sergio Greco and Cristian Molinaro |
| title_short | Datalog and logic databases |
| title_sort | datalog and logic databases |
| topic | Datalog (Computer program language) Relational databases Logic design Data processing Logic programming Datalog (DE-588)4234719-1 gnd Datenbankverwaltung (DE-588)4389357-0 gnd |
| topic_facet | Datalog (Computer program language) Relational databases Logic design Data processing Logic programming Datalog Datenbankverwaltung |
| url | https://doi.org/10.2200/S00648ED1V01Y201505DTM041 |
| volume_link | (DE-604)BV036731811 |
| work_keys_str_mv | AT grecosergio datalogandlogicdatabases AT molinarocristian datalogandlogicdatabases |