Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming: 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996
Saved in:
| New Title: | International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain> Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming |
|---|---|
| Corporate Author: | |
| Format: | Conference Proceeding Book |
| Language: | German |
| Published: |
Sankt Augustin
1996
|
| Series: | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien
295 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 152 S. graph. Darst. |
| ISBN: | 3884572954 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010903782 | ||
| 003 | DE-604 | ||
| 005 | 20131025 | ||
| 007 | t| | ||
| 008 | 960812s1996 gw d||| |||| 10||| ger d | ||
| 016 | 7 | |a 948174307 |2 DE-101 | |
| 020 | |a 3884572954 |9 3-88457-295-4 | ||
| 035 | |a (OCoLC)246929903 | ||
| 035 | |a (DE-599)BVBBV010903782 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-91G |a DE-12 |a DE-384 |a DE-739 |a DE-703 |a DE-210 |a DE-92 |a DE-634 |a DE-525 | ||
| 084 | |a SD 1996 |0 (DE-625)142730: |2 rvk | ||
| 084 | |a SI 213 |0 (DE-625)143105: |2 rvk | ||
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 650f |2 stub | ||
| 111 | 2 | |a Workshop on Deductive Databases and Logic Programming |n 4 |d 1996 |c Bonn |j Verfasser |0 (DE-588)2157762-6 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming |b 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 |c Dimitri Boulanger ... (eds.) |
| 264 | 1 | |a Sankt Augustin |c 1996 | |
| 300 | |a 152 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |v 295 | |
| 650 | 0 | 7 | |a Logische Programmierung |0 (DE-588)4195096-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Bonn |2 gnd-content | |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 1 | |5 DE-604 | |
| 689 | 2 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 2 | |5 DE-604 | |
| 700 | 1 | |a Boulanger, Dmitri |e Sonstige |4 oth | |
| 711 | 2 | |a JICSLP |d 1996 |c Bonn |j Sonstige |0 (DE-588)2157760-2 |4 oth | |
| 785 | 0 | 0 | |i Später u.d.T. |a International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain> |t Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming |
| 830 | 0 | |a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |v 295 |w (DE-604)BV010685537 |9 295 | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007293055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007293055 | |
Record in the Search Index
| _version_ | 1818602180660166656 |
|---|---|
| adam_text |
SUB GGTTLNGEN 203 048172 GMD-STUDIEN NR. 295 DIMITRI BOULANGER, ULRICH
GESKE FORCA GIANNOTTI, DIETMAR SEIPEL (EDS.) PROCEEDINGS OF THE WORKSHOP
DDLP'96 ON DEDUCTIVE DATABASES AND LOGIC PROGRAMMING 4TH WORKSHOP IN
CONJUNCTION WITH JICSLP'96 BONN, GERMANY SEPTEMBER 5-6,1996 SEPTEMBER
1996 GMD-FORSCHUNGSZENTRUM INFORMATIONSTECHNIK GMBH CONTENTS PREFACE 7
ORIGINAL CALL FOR PAPERS 11 SCHEDULE OF PRESENTATIONS 13 DISJUNCTIVE
DEDUCTIVE DATABASES CHARLI F. OBIMBO, E. BRUCE SPENCER: ACCESS CLAUSE
TREES IN DISJUNCTIVE DEDUCTIVE DATABASES 15 PETER BAUMGARTNER, ULRICH
FURBACH: HYPER TABLEAUX AND DISJUNCTIVE LOGIC PROGRAMMING 29 QUERY
OPTIMIZATION ULRICH ZUKOWSKI, BURKHARD FREITAG: THE DIFFERENTIAL
FIXPOINT OF GENERAL LOGIC PROGRAMS 45 PARKE GODFREY, JAREK GRYZ: A
FRAMEWORK FOR INTENSIONAL QUERY OPTIMIZATION 57 J. AIDANA, J. TROYA:
DATA FLOW EVALUATION OF DATALOG QUERIES \ 69 ADVANCED CONCEPTS
CARL-ALEXANDER WICHERT, BURKHARD FREITAG: LOGICAL SPECIFICATION OF BULK
UPDATES AND 79 SEQUENTIAL UPDATES HEINRICH HERRE, GERD WAGNER: TEMPORAL
DEDUCTIVE DATABASES 95 RICCARDO ROSATI: ON THE COMPLEXITY OF REASONING
WITH NEGATION AS FAILURE 107 APPLICATIONS P. ASIRELLI, S. COOK, K.
JEFFERY: A LOGIC DATABASE FOR VALIDATING SYSTEM MODELS 119 M. CARBONI,
A. DI DEO, F. GIANNOTTI, M.V. MASSEROTTI: SPALIO-TEMPORAL REASONING WITH
135 LDLT: FIRST STEPS TOWARDS A DEDUCTIVE SYSTEM FOR GEOGRAPHICAL
APPLICATIONS - 5 - |
| any_adam_object | 1 |
| author_corporate | Workshop on Deductive Databases and Logic Programming Bonn |
| author_corporate_role | aut |
| author_facet | Workshop on Deductive Databases and Logic Programming Bonn |
| author_sort | Workshop on Deductive Databases and Logic Programming Bonn |
| building | Verbundindex |
| bvnumber | BV010903782 |
| classification_rvk | SD 1996 SI 213 ST 270 |
| classification_tum | DAT 706f DAT 650f |
| ctrlnum | (OCoLC)246929903 (DE-599)BVBBV010903782 |
| discipline | Informatik Mathematik |
| 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">BV010903782</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20131025</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">960812s1996 gw d||| |||| 10||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">948174307</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884572954</subfield><subfield code="9">3-88457-295-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246929903</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010903782</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">ger</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SD 1996</subfield><subfield code="0">(DE-625)142730:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SI 213</subfield><subfield code="0">(DE-625)143105:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 270</subfield><subfield code="0">(DE-625)143638:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 650f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Workshop on Deductive Databases and Logic Programming</subfield><subfield code="n">4</subfield><subfield code="d">1996</subfield><subfield code="c">Bonn</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2157762-6</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming</subfield><subfield code="b">4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996</subfield><subfield code="c">Dimitri Boulanger ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">152 S.</subfield><subfield code="b">graph. Darst.</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">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">295</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</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">1996</subfield><subfield code="z">Bonn</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Deduktives Datenbanksystem</subfield><subfield code="0">(DE-588)4258784-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">Logische Programmierung</subfield><subfield code="0">(DE-588)4195096-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Boulanger, Dmitri</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">JICSLP</subfield><subfield code="d">1996</subfield><subfield code="c">Bonn</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2157760-2</subfield><subfield code="4">oth</subfield></datafield><datafield tag="785" ind1="0" ind2="0"><subfield code="i">Später u.d.T.</subfield><subfield code="a">International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain></subfield><subfield code="t">Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">295</subfield><subfield code="w">(DE-604)BV010685537</subfield><subfield code="9">295</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV 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=007293055&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-007293055</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Bonn gnd-content |
| genre_facet | Konferenzschrift 1996 Bonn |
| id | DE-604.BV010903782 |
| illustrated | Illustrated |
| indexdate | 2024-12-16T13:03:11Z |
| institution | BVB |
| institution_GND | (DE-588)2157762-6 (DE-588)2157760-2 |
| isbn | 3884572954 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007293055 |
| oclc_num | 246929903 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-384 DE-739 DE-703 DE-210 DE-92 DE-634 DE-525 |
| owner_facet | DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-12 DE-384 DE-739 DE-703 DE-210 DE-92 DE-634 DE-525 |
| physical | 152 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| record_format | marc |
| series | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |
| series2 | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |
| spelling | Workshop on Deductive Databases and Logic Programming 4 1996 Bonn Verfasser (DE-588)2157762-6 aut Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 Dimitri Boulanger ... (eds.) Sankt Augustin 1996 152 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 295 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Bonn gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s Logische Programmierung (DE-588)4195096-3 s DE-604 Boulanger, Dmitri Sonstige oth JICSLP 1996 Bonn Sonstige (DE-588)2157760-2 oth Später u.d.T. International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain> Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 295 (DE-604)BV010685537 295 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007293055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4258784-0 (DE-588)1071861417 |
| title | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 |
| title_auth | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 |
| title_exact_search | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 |
| title_full | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 Dimitri Boulanger ... (eds.) |
| title_fullStr | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 Dimitri Boulanger ... (eds.) |
| title_full_unstemmed | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 Dimitri Boulanger ... (eds.) |
| title_new | International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain> Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming |
| title_short | Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming |
| title_sort | proceedings of the workshop ddlp 96 on deductive databases and logic programming 4th workshop in conjunction with jicslp 96 bonn germany september 5 6 1996 |
| title_sub | 4th workshop in conjunction with JICSLP '96, Bonn, Germany, September 5 - 6, 1996 |
| topic | Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| topic_facet | Logische Programmierung Deduktives Datenbanksystem Konferenzschrift 1996 Bonn |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007293055&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010685537 |
| work_keys_str_mv | AT workshopondeductivedatabasesandlogicprogrammingbonn proceedingsoftheworkshopddlp96ondeductivedatabasesandlogicprogramming4thworkshopinconjunctionwithjicslp96bonngermanyseptember561996 AT boulangerdmitri proceedingsoftheworkshopddlp96ondeductivedatabasesandlogicprogramming4thworkshopinconjunctionwithjicslp96bonngermanyseptember561996 AT jicslpbonn proceedingsoftheworkshopddlp96ondeductivedatabasesandlogicprogramming4thworkshopinconjunctionwithjicslp96bonngermanyseptember561996 |