Datalog in academia and industry: second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin [u.a.]
Springer
2012
|
| Series: | Lecture Notes in Computer Science
7494 |
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | XIV, 189 S. graph. Darst. 235 mm x 155 mm |
| ISBN: | 9783642329241 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV040442242 | ||
| 003 | DE-604 | ||
| 005 | 20130115 | ||
| 007 | t| | ||
| 008 | 120926s2012 gw d||| |||| 10||| eng d | ||
| 015 | |a 12,N31 |2 dnb | ||
| 016 | 7 | |a 1024629082 |2 DE-101 | |
| 020 | |a 9783642329241 |c Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.) |9 978-3-642-32924-1 | ||
| 024 | 3 | |a 9783642329241 | |
| 028 | 5 | 2 | |a Best.-Nr.: 86153890 |
| 035 | |a (OCoLC)814522630 | ||
| 035 | |a (DE-599)DNB1024629082 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-706 |a DE-83 |a DE-91G |a DE-11 | ||
| 082 | 0 | |a 005.74015113 |2 22/ger | |
| 082 | 0 | |a 006.3 |2 22/ger | |
| 082 | 0 | |a 005.133 |2 22/ger | |
| 084 | |a 004 |2 sdnb | ||
| 084 | |a DAT 360f |2 stub | ||
| 084 | |a DAT 652f |2 stub | ||
| 245 | 1 | 0 | |a Datalog in academia and industry |b second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings |c Pablo Barceló ... (eds.) |
| 264 | 1 | |a Berlin [u.a.] |b Springer |c 2012 | |
| 300 | |a XIV, 189 S. |b graph. Darst. |c 235 mm x 155 mm | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture Notes in Computer Science |v 7494 | |
| 650 | 0 | 7 | |a Datalog |0 (DE-588)4234719-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 2012 |z Wien |2 gnd-content | |
| 689 | 0 | 0 | |a Datalog |0 (DE-588)4234719-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Barceló, Pablo |e Sonstige |0 (DE-588)1026294894 |4 oth | |
| 711 | 2 | |a Datalog |n 2. |d 2012 |c Wien |j Sonstige |0 (DE-588)1026295017 |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Online-Ausgabe |z 978-3-642-32925-8 |
| 830 | 0 | |a Lecture Notes in Computer Science |v 7494 |w (DE-604)BV000000607 |9 7494 | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=4093455&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-025290053 | |
Record in the Search Index
| _version_ | 1820875422323179520 |
|---|---|
| adam_text |
IMAGE 1
TABLE O F C O N T E N T S
A B S T R A C T S PARACONSISTENT MODULAR ANSWER SET PROGRAMMING IX
THOMAS EITER
A RETROSPECTIVE ON DATALOG 1.0 XI
PHOKION G. KOLAITIS
I N V I T E D P R E S E N T A T I O N S
LOGICBLOX, PLATFORM AND LANGUAGE: A TUTORIAL 1
TODD J. GREEN. MOLHAM AREF. AND GRIGORIS KARVOUNARAKIS
DATALOG: A PERSPECTIVE AND THE POTENTIAL 9
YURI GUREVICH
EXISTENTIAL RULES: A GRAPH-BASED VIEW (EXTENDED ABSTRACT) 21
MARIE-LAURE MUGNIER
HOW (WELL) DO DATALOG, SPARQL AND RIF INTERPLAY? 27
AXEL POLLERES
R E G U L A R P A P E R S , S Y S T E M D E S C R I P T I O N S A N D T
U T O R I A L S
MAGIC-SETS FOR DATALOG WITH EXISTENTIAL QUANTIFIERS 31
MARIO ALVIANO. NICOLA LEONE, MARCO MANNA. GIORGIO TERRACINA, AND
PIERFRANCESCO VELTRI
ON THE CRON CONJECTURE 44
TOM J. AMELOOT AND JAN VAN DEN BUSSCHE
ORDER IN DATALOG WITH APPLICATIONS TO DECLARATIVE O U T P U T 56
STEFAN BRASS
A BROAD CLASS OF FIRST-ORDER REWRITABLE TUPLE-GENERATING DEPENDENCIES 68
CRISTINA CIVILI AND RICCARDO ROSATI
DATALOG DEVELOPMENT TOOLS (EXTENDED ABSTRACT) 81
ONOFRIO FEBBRARO. GIOVANNI GRASSO, NICOLA LEONE, KRISTIAN REALE, AND
FRANCESCO RICCA
QUERY REWRITING USING DATALOG FOR DUPLICATE RESOLUTION 86
JAFFER GARDEZI AND LEOPOLDO BERTOSSI
HTTP://D-NB.INFO/1024629082
IMAGE 2
XIV
TABLE OF CONTENTS
REASONING ABOUT KNOWLEDGE IN DISTRIBUTED SYSTEMS USING DATALOG 99 MATTEO
INTERLANDI
DECLARATIVE DATALOG DEBUGGING FOR MERE MORTALS I L L
SVEN KOHLER, BERTRAM LUDASCHER, AND YANNIS SMARAGDAKIS
INCONSISTENCY-TOLERANT QUERY REWRITING FOR LINEAR D A T A L O G + / -
1'23
THOMAS LUKASIEWICZ. MARIA VANINA MARTINEZ, AND GERARDO I. SIMARI
CONFLUENCE ANALYSIS FOR DISTRIBUTED PROGRAMS: A MODEL-THEORETIC APPROACH
13-5
WILLIAM R. MARCZAK, PETER ALVARO, NEIL CONWAY, JOSEPH M. HELLERSTEIN,
AND DAVID MAIER
BUSINESS NETWORK RECONSTRUCTION USING DATALOG 148
DANIEL RITTER AND TILL WESTMANN
D A T A EXCHANGE IN DATALOG IS MAINLY A MATTER OF CHOICE 153
DOMENICO SACCA AND EDOARDO SERRA
OPTIMIZING LARGE-SCALE SEMI-NAIVE DATALOG EVALUATION IN HADOOP 165
MARIANNE SHAW, PARASCHOS KOUTRIS, BILL HOWE, AND DAN SUCIU
LOGICAL FOUNDATIONS OF CONTINUOUS QUERY LANGUAGES FOR D A T A STREAMS
177
CARLO ZANIOLO
A U T H O R I N D E X 191 |
| any_adam_object | 1 |
| author_GND | (DE-588)1026294894 |
| building | Verbundindex |
| bvnumber | BV040442242 |
| classification_rvk | SS 4800 |
| classification_tum | DAT 360f DAT 652f |
| ctrlnum | (OCoLC)814522630 (DE-599)DNB1024629082 |
| dewey-full | 005.74015113 006.3 005.133 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security 006 - Special computer methods |
| dewey-raw | 005.74015113 006.3 005.133 |
| dewey-search | 005.74015113 006.3 005.133 |
| dewey-sort | 15.74015113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV040442242</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20130115</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">120926s2012 gw d||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">12,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1024629082</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642329241</subfield><subfield code="c">Pb. : ca. EUR 49.22 (DE) (freier Pr.), ca. EUR 50.60 (AT) (freier Pr.), ca. sfr 61.50 (freier Pr.)</subfield><subfield code="9">978-3-642-32924-1</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642329241</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 86153890</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)814522630</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1024629082</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.74015113</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">006.3</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.133</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 360f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 652f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Datalog in academia and industry</subfield><subfield code="b">second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings</subfield><subfield code="c">Pablo Barceló ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XIV, 189 S.</subfield><subfield code="b">graph. Darst.</subfield><subfield code="c">235 mm x 155 mm</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">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7494</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">2012</subfield><subfield code="z">Wien</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><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">Barceló, Pablo</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1026294894</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">Datalog</subfield><subfield code="n">2.</subfield><subfield code="d">2012</subfield><subfield code="c">Wien</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)1026295017</subfield><subfield code="4">oth</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe</subfield><subfield code="z">978-3-642-32925-8</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture Notes in Computer Science</subfield><subfield code="v">7494</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">7494</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=4093455&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025290053</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 2012 Wien gnd-content |
| genre_facet | Konferenzschrift 2012 Wien |
| id | DE-604.BV040442242 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T15:15:22Z |
| institution | BVB |
| institution_GND | (DE-588)1026295017 |
| isbn | 9783642329241 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025290053 |
| oclc_num | 814522630 |
| open_access_boolean | |
| owner | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| owner_facet | DE-706 DE-83 DE-91G DE-BY-TUM DE-11 |
| physical | XIV, 189 S. graph. Darst. 235 mm x 155 mm |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Springer |
| record_format | marc |
| series | Lecture Notes in Computer Science |
| series2 | Lecture Notes in Computer Science |
| spelling | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings Pablo Barceló ... (eds.) Berlin [u.a.] Springer 2012 XIV, 189 S. graph. Darst. 235 mm x 155 mm txt rdacontent n rdamedia nc rdacarrier Lecture Notes in Computer Science 7494 Datalog (DE-588)4234719-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 2012 Wien gnd-content Datalog (DE-588)4234719-1 s DE-604 Barceló, Pablo Sonstige (DE-588)1026294894 oth Datalog 2. 2012 Wien Sonstige (DE-588)1026295017 oth Erscheint auch als Online-Ausgabe 978-3-642-32925-8 Lecture Notes in Computer Science 7494 (DE-604)BV000000607 7494 X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=4093455&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings Lecture Notes in Computer Science Datalog (DE-588)4234719-1 gnd |
| subject_GND | (DE-588)4234719-1 (DE-588)1071861417 |
| title | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings |
| title_auth | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings |
| title_exact_search | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings |
| title_full | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings Pablo Barceló ... (eds.) |
| title_fullStr | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings Pablo Barceló ... (eds.) |
| title_full_unstemmed | Datalog in academia and industry second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings Pablo Barceló ... (eds.) |
| title_short | Datalog in academia and industry |
| title_sort | datalog in academia and industry second international workshop datalog 2 0 vienna austria september 11 13 2012 proceedings |
| title_sub | second international workshop, Datalog 2.0, Vienna, Austria, September 11 - 13, 2012 ; proceedings |
| topic | Datalog (DE-588)4234719-1 gnd |
| topic_facet | Datalog Konferenzschrift 2012 Wien |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=4093455&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025290053&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT barcelopablo dataloginacademiaandindustrysecondinternationalworkshopdatalog20viennaaustriaseptember11132012proceedings AT datalogwien dataloginacademiaandindustrysecondinternationalworkshopdatalog20viennaaustriaseptember11132012proceedings |