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

Proceedings of the Workshop on Deductive Databases and Logic Programming: Santa Margherita Ligure, Italy, June 17, 1994

Gespeichert in:

Bibliographische Detailangaben
Körperschaft:	Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure (VerfasserIn)
Format:	Tagungsbericht Buch
Sprache:	Undetermined
Veröffentlicht:	Sankt Augustin GMD 1994
Schriftenreihe:	Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 231
Schlagworte:	Logische Programmierung Deduktives Datenbanksystem Konferenzschrift > 1994 > Santa Margherita Ligure
Online-Zugang:	Inhaltsverzeichnis
Beschreibung:	171 S. graph. Darst.
ISBN:	3884572318

Internformat

MARC


LEADER	00000nam a2200000 cb4500
001	BV009671436
003	DE-604
005	19940727
007	t\|
008	940613s1994 gw d\|\|\| \|\|\|\| 10\|\|\| und d
016	7		\|a 941321444 \|2 DE-101
020			\|a 3884572318 \|9 3-88457-231-8
035			\|a (OCoLC)246449426
035			\|a (DE-599)BVBBV009671436
040			\|a DE-604 \|b ger \|e rakddb
041			\|a und
044			\|a gw \|c DE
049			\|a DE-12 \|a DE-91 \|a DE-91G \|a DE-739 \|a DE-703 \|a DE-210 \|a DE-525
084			\|a SI 213 \|0 (DE-625)143105: \|2 rvk
084			\|a DAT 703f \|2 stub
084			\|a DAT 706f \|2 stub
084			\|a DAT 651f \|2 stub
111	2		\|a Workshop on Deductive Databases and Logic Programming \|n 2 \|d 1994 \|c Santa Margherita Ligure \|j Verfasser \|0 (DE-588)2137239-1 \|4 aut
245	1	0	\|a Proceedings of the Workshop on Deductive Databases and Logic Programming \|b Santa Margherita Ligure, Italy, June 17, 1994 \|c Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.)
264		1	\|a Sankt Augustin \|b GMD \|c 1994
300			\|a 171 S. \|b graph. Darst.
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien \|v 231
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 1994 \|z Santa Margherita Ligure \|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
689	2	0	\|a Deduktives Datenbanksystem \|0 (DE-588)4258784-0 \|D s
689	2	1	\|a Logische Programmierung \|0 (DE-588)4195096-3 \|D s
689	2		\|5 DE-604
700	1		\|a Geske, Ulrich \|e Sonstige \|4 oth
711	2		\|a Workshop on Deductive Databases and Logic Programming \|n 2 \|d 1994 \|c Santa Margherita Ligure \|j Sonstige \|0 (DE-588)2137239-1 \|4 oth
830		0	\|a Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien \|v 231 \|w (DE-604)BV035611570 \|9 231
856	4	2	\|m Digitalisierung TU Muenchen \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006396578&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
943	1		\|a oai:aleph.bib-bvb.de:BVB01-006396578

Datensatz im Suchindex

_version_	1818693003612520448
adam_text	Contents Preface Schedule of Presentations . 11 Extensions of Datalog A Simple Model for Active Rules and their Behavior in Deductive Databases 13 Carlo Zaniolo and Reza Sadri Expressive power of non-deterministic operators for logic-based languages 27 Luca Corciulo, Fosca Giannotti, Dino Pedreschi and Carlo Zaniolo Representing Objects as Modules in Deductive Databases . 41 Burkhard Freitag Updates in Deductive Databases Static Analysis of Transactional Intensional Databases . 57 E. Bertino, В. Catania, G. Guerrini, D. Montesi Determining Correct View Update Translations via Query Containment 75 Anthony Tomaste Query Processing and Optimization On Expressing Stratified Datalog . 85 Tiziana Caiarei and Isabel F. Cruz Constraint Stratification in Deductive Databases . 101 Kenneth A. Ross Dynamic Argument Reduction for In-memory Data Queries . 117 Prasad Rao, I. V. Ramakrishnan, Terranee Swift, David S. Warren One-Phase Magic-sets Transformation . 131 Inderpal Singh Mumick Applications A Deductive Database Solution to the Preferential Vote Counting Problem 143 David B. Kemp and Kotagiri Ramamohanarao Constraint—Based Reasoning in Geographic Databases: the Case of Symbolic Arrays . 159 Dirnitris Papadias, Andrew Frank and Manolis Koubarakis
any_adam_object	1
author_corporate	Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure
author_corporate_role	aut
author_facet	Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure
author_sort	Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure
building	Verbundindex
bvnumber	BV009671436
classification_rvk	SI 213
classification_tum	DAT 703f DAT 706f DAT 651f
ctrlnum	(OCoLC)246449426 (DE-599)BVBBV009671436
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">BV009671436</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19940727</controlfield><controlfield tag="007">t\|</controlfield><controlfield tag="008">940613s1994 gw d\|\|\| \|\|\|\| 10\|\|\| und d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">941321444</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3884572318</subfield><subfield code="9">3-88457-231-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246449426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009671436</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=" " ind2=" "><subfield code="a">und</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-12</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-525</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 703f</subfield><subfield code="2">stub</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">Workshop on Deductive Databases and Logic Programming</subfield><subfield code="n">2</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)2137239-1</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Proceedings of the Workshop on Deductive Databases and Logic Programming</subfield><subfield code="b">Santa Margherita Ligure, Italy, June 17, 1994</subfield><subfield code="c">Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Sankt Augustin</subfield><subfield code="b">GMD</subfield><subfield code="c">1994</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">171 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">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">231</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">1994</subfield><subfield code="z">Santa Margherita Ligure</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="689" ind1="2" 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="2" 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="2" 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">Workshop on Deductive Databases and Logic Programming</subfield><subfield code="n">2</subfield><subfield code="d">1994</subfield><subfield code="c">Santa Margherita Ligure</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2137239-1</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien</subfield><subfield code="v">231</subfield><subfield code="w">(DE-604)BV035611570</subfield><subfield code="9">231</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung TU Muenchen</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=006396578&sequence=000002&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-006396578</subfield></datafield></record></collection>
genre	(DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content
genre_facet	Konferenzschrift 1994 Santa Margherita Ligure
id	DE-604.BV009671436
illustrated	Illustrated
indexdate	2024-12-17T13:06:46Z
institution	BVB
institution_GND	(DE-588)2137239-1
isbn	3884572318
language	Undetermined
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-006396578
oclc_num	246449426
open_access_boolean
owner	DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-703 DE-210 DE-525
owner_facet	DE-12 DE-91 DE-BY-TUM DE-91G DE-BY-TUM DE-739 DE-703 DE-210 DE-525
physical	171 S. graph. Darst.
publishDate	1994
publishDateSearch	1994
publishDateSort	1994
publisher	GMD
record_format	marc
series	Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien
series2	Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien
spelling	Workshop on Deductive Databases and Logic Programming 2 1994 Santa Margherita Ligure Verfasser (DE-588)2137239-1 aut Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994 Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.) Sankt Augustin GMD 1994 171 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 231 Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1994 Santa Margherita Ligure gnd-content Deduktives Datenbanksystem (DE-588)4258784-0 s DE-604 Logische Programmierung (DE-588)4195096-3 s Geske, Ulrich Sonstige oth Workshop on Deductive Databases and Logic Programming 2 1994 Santa Margherita Ligure Sonstige (DE-588)2137239-1 oth Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien 231 (DE-604)BV035611570 231 Digitalisierung TU Muenchen application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006396578&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994 Gesellschaft für Mathematik und Datenverarbeitung <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 on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994
title_auth	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994
title_exact_search	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994
title_full	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994 Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.)
title_fullStr	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994 Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.)
title_full_unstemmed	Proceedings of the Workshop on Deductive Databases and Logic Programming Santa Margherita Ligure, Italy, June 17, 1994 Second ICLP Workshop on Deductive Databases. Ulrich Geske ... (eds.)
title_short	Proceedings of the Workshop on Deductive Databases and Logic Programming
title_sort	proceedings of the workshop on deductive databases and logic programming santa margherita ligure italy june 17 1994
title_sub	Santa Margherita Ligure, Italy, June 17, 1994
topic	Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd
topic_facet	Logische Programmierung Deduktives Datenbanksystem Konferenzschrift 1994 Santa Margherita Ligure
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006396578&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV035611570
work_keys_str_mv	AT workshopondeductivedatabasesandlogicprogrammingsantamargheritaligure proceedingsoftheworkshopondeductivedatabasesandlogicprogrammingsantamargheritaligureitalyjune171994 AT geskeulrich proceedingsoftheworkshopondeductivedatabasesandlogicprogrammingsantamargheritaligureitalyjune171994

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