Verfügbarkeit: Proceedings of the Workshop DDLP '96 on Deductive Databases and Logic Programming

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

Gespeichert in:

Bibliographische Detailangaben
Späterer Titel:	International Workshop on Deductive Databases and Logic Programming <5, 1997, Louvain> Proceedings of the 5th International Workshop on Deductive Databases and Logic Programming
Körperschaft:	Workshop on Deductive Databases and Logic Programming Bonn (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	German
Veröffentlicht:	Sankt Augustin 1996
Schriftenreihe:	GMD-Forschungszentrum Informationstechnik <Sankt Augustin>: GMD-Studien 295
Schlagworte:	Logische Programmierung Deduktives Datenbanksystem Konferenzschrift > 1996 > Bonn
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	152 S. graph. Darst.
ISBN:	3884572954

Internformat

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

Datensatz im Suchindex

_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

Verfügbarkeit

Es ist kein Print-Exemplar vorhanden.

Fernleihe Bestellen Achtung: Nicht im THWS-Bestand! Inhaltsverzeichnis

MARC

Datensatz im Suchindex

Es ist kein Print-Exemplar vorhanden.

Ähnliche Einträge