Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming: workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | German |
| Published: |
Sankt Augustin
GMD-Forschungszentrum Informationstechnik
1997
|
| Series: | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien
317 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Item Description: | Früher u.d.T.: Workshop on Deductive Databases and Logic Programming <4, 1996, Bonn>: Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming |
| Physical Description: | 129 S. Ill. |
| ISBN: | 3884573179 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011426173 | ||
| 003 | DE-604 | ||
| 005 | 19970912 | ||
| 007 | t| | ||
| 008 | 970701s1997 gw a||| |||| 00||| ger d | ||
| 016 | 7 | |a 950690333 |2 DE-101 | |
| 020 | |a 3884573179 |c brosch. : ca. DM 33.00 |9 3-88457-317-9 | ||
| 035 | |a (OCoLC)246929917 | ||
| 035 | |a (DE-599)BVBBV011426173 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-12 |a DE-210 |a DE-384 |a DE-739 |a DE-703 |a DE-91G |a DE-525 | ||
| 050 | 0 | |a QA76.63 | |
| 084 | |a SI 213 |0 (DE-625)143105: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 651f |2 stub | ||
| 111 | 2 | |a International Workshop on Deductive Databases and Logic Programming |n 5 |d 1997 |c Löwen |j Verfasser |0 (DE-588)2164381-7 |4 aut | |
| 245 | 1 | 0 | |a Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming |b workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 |c Ulrich Geske ... (eds.) |
| 264 | 1 | |a Sankt Augustin |b GMD-Forschungszentrum Informationstechnik |c 1997 | |
| 300 | |a 129 S. |b Ill. | ||
| 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 317 | |
| 500 | |a Früher u.d.T.: Workshop on Deductive Databases and Logic Programming <4, 1996, Bonn>: Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming | ||
| 650 | 4 | |a Deductive databases |v Congresses | |
| 650 | 4 | |a Logic programming |v Congresses | |
| 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 1997 |z Löwen |2 gnd-content | |
| 689 | 0 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Geske, Ulrich |e Sonstige |4 oth | |
| 711 | 2 | |a International Conference on Logic Programming |n 14 |d 1997 |c Löwen |j Sonstige |0 (DE-588)2164382-9 |4 oth | |
| 830 | 0 | |a GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |v 317 |w (DE-604)BV010685537 |9 317 | |
| 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=007683143&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007683143 | |
Record in the Search Index
| _version_ | 1823676241536876544 |
|---|---|
| adam_text |
GMD-STUDIEN NR. 317 SUB Q6TTLNGEN 204206 022 ULRICH GESKE, CAROLINA
RUIZ, DIETMAR SEIPEL (EDS.) PROCEEDINGS OF THE 5TH INTERNATIONAL
WORKSHOP ON DEDUCTIVE DATABASES AND LOGIC PROGRAMMING WORKSHOP IN
CONJUNCTION WITH ICLP'97 LEUVEN, BELGIUM JULY 11,1997 JULY 1997
GMD-FORSCHUNGSZENTRUM INFORMATIONSTECHNIK GMBH CONTENTS PREFACE 7
SCHEDULE OF PRESENTATIONS 11 DISJUNCTIVE DEDUCTIVE DATABASES 13 CHIEMI
KAMAKURA, YUKA SHIMAJIRI, HIROHISA SEKI, HIDENORI ITOH: EFFICIENT
TRANSFORMATION FOR BOTTOM-UP COMPUTATION OF STABLE MODELS 13 KOICHI
FURUKAWA, TEMONOBU OZAKI, TOMOKU MURAKAMI, KEN UENO, KEIKO SHIMAZU:
QUERY EVALUATION OF DEDUCTIVE DATABASE BY MGTP AND ITS APPLICATION TO
DATA MINING 27 QUERIES AND ANSWER EXPLANATIONS 37 TROELS ANDREASEN,
HENNING CHRISTIANSEN: HYPOTHETICAL QUERIES TO DEDUCTIVE DATABASES 37
FOTO AFRATI, FRANCESCA TONI: ON THE RELATIONSSHIP BETWEEN CHAIN QUERIES
AND LINEAR DATALOG PROGRAMS 49 SARAH MALLET, MIREILLE DUCASSE: AN
INFORMAL PRESENTATION OF DDB TREES: A BASIS FOR DEDUCTIVE DATABASE
EXPLANATIONS 59 DATALOG EXTENSIONS 69 MOHAMMAD-SAID HACID, PATRICK
MARCEL, CHRISTOPHE RIGOTTI: A RULE-BASED LANGUAGE FOR ORDERED
MULTIDIMENSIONAL DATABASES 69 HASSAN JAMIL: INHERITANCE WITH OVERRIDING
WITHOUT NON-MONOTONIC REASONING IN DATALOG++ 83 ADVANCED CONCEPTS 101
ANDREAS FORDAN: LINEAR CONSTRAINT PROJECTION - TOP-DOWN AND BOTTOM- UP
101 YUNMING WANG, CHUN TAO, BAILE SHI, YONGGANG ZHAO, YANG YANG: CRD: A
NEW DATA MINING METHOD IN DEDUCTIVE DATABASES 115 |
| any_adam_object | 1 |
| author_corporate | International Workshop on Deductive Databases and Logic Programming Löwen |
| author_corporate_role | aut |
| author_facet | International Workshop on Deductive Databases and Logic Programming Löwen |
| author_sort | International Workshop on Deductive Databases and Logic Programming Löwen |
| building | Verbundindex |
| bvnumber | BV011426173 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.63 |
| callnumber-search | QA76.63 |
| callnumber-sort | QA 276.63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | SI 213 |
| classification_tum | DAT 706f DAT 651f |
| ctrlnum | (OCoLC)246929917 (DE-599)BVBBV011426173 |
| 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">BV011426173</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970912</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">970701s1997 gw a||| |||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">950690333</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884573179</subfield><subfield code="c">brosch. : ca. DM 33.00</subfield><subfield code="9">3-88457-317-9</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246929917</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011426173</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-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-525</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.63</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">DAT 706f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">International Workshop on Deductive Databases and Logic Programming</subfield><subfield code="n">5</subfield><subfield code="d">1997</subfield><subfield code="c">Löwen</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2164381-7</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming</subfield><subfield code="b">workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997</subfield><subfield code="c">Ulrich Geske ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">GMD-Forschungszentrum Informationstechnik</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">129 S.</subfield><subfield code="b">Ill.</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">317</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Früher u.d.T.: Workshop on Deductive Databases and Logic Programming <4, 1996, Bonn>: Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deductive databases</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield><subfield code="v">Congresses</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">1997</subfield><subfield code="z">Löwen</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=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Geske, Ulrich</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Conference on Logic Programming</subfield><subfield code="n">14</subfield><subfield code="d">1997</subfield><subfield code="c">Löwen</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2164382-9</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">317</subfield><subfield code="w">(DE-604)BV010685537</subfield><subfield code="9">317</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=007683143&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-007683143</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1997 Löwen gnd-content |
| genre_facet | Konferenzschrift 1997 Löwen |
| id | DE-604.BV011426173 |
| illustrated | Illustrated |
| indexdate | 2025-02-10T13:13:12Z |
| institution | BVB |
| institution_GND | (DE-588)2164381-7 (DE-588)2164382-9 |
| isbn | 3884573179 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007683143 |
| oclc_num | 246929917 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 DE-210 DE-384 DE-739 DE-703 DE-91G DE-BY-TUM DE-525 |
| owner_facet | DE-91 DE-BY-TUM DE-12 DE-210 DE-384 DE-739 DE-703 DE-91G DE-BY-TUM DE-525 |
| physical | 129 S. Ill. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | GMD-Forschungszentrum Informationstechnik |
| record_format | marc |
| series | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |
| series2 | GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien |
| spelling | International Workshop on Deductive Databases and Logic Programming 5 1997 Löwen Verfasser (DE-588)2164381-7 aut Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Ulrich Geske ... (eds.) Sankt Augustin GMD-Forschungszentrum Informationstechnik 1997 129 S. Ill. txt rdacontent n rdamedia nc rdacarrier GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 317 Früher u.d.T.: Workshop on Deductive Databases and Logic Programming <4, 1996, Bonn>: Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming Deductive databases Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1997 Löwen gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s DE-604 Logische Programmierung (DE-588)4195096-3 s Geske, Ulrich Sonstige oth International Conference on Logic Programming 14 1997 Löwen Sonstige (DE-588)2164382-9 oth GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 317 (DE-604)BV010685537 317 GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007683143&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien Deductive databases Congresses Logic programming Congresses 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 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 |
| title_auth | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 |
| title_exact_search | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 |
| title_full | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Ulrich Geske ... (eds.) |
| title_fullStr | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Ulrich Geske ... (eds.) |
| title_full_unstemmed | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 Ulrich Geske ... (eds.) |
| title_short | Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming |
| title_sort | proceedings of the 5th international workshop on deductive databases and logic programming workshop in conjunction with iclp 97 leuven belgium july 11 1997 |
| title_sub | workshop in conjunction with ICLP '97, Leuven, Belgium, July 11, 1997 |
| topic | Deductive databases Congresses Logic programming Congresses Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd |
| topic_facet | Deductive databases Congresses Logic programming Congresses Logische Programmierung Deduktives Datenbanksystem Konferenzschrift 1997 Löwen |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007683143&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV010685537 |
| work_keys_str_mv | AT internationalworkshopondeductivedatabasesandlogicprogramminglowen proceedingsofthe5thinternationalworkshopondeductivedatabasesandlogicprogrammingworkshopinconjunctionwithiclp97leuvenbelgiumjuly111997 AT geskeulrich proceedingsofthe5thinternationalworkshopondeductivedatabasesandlogicprogrammingworkshopinconjunctionwithiclp97leuvenbelgiumjuly111997 AT internationalconferenceonlogicprogramminglowen proceedingsofthe5thinternationalworkshopondeductivedatabasesandlogicprogrammingworkshopinconjunctionwithiclp97leuvenbelgiumjuly111997 |