Proceedings of the Workshop on Deductive Databases and Logic Programming: Santa Margherita Ligure, Italy, June 17, 1994
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding Book |
| Language: | Undetermined |
| Published: |
Sankt Augustin
GMD
1994
|
| Series: | Gesellschaft für Mathematik und Datenverarbeitung <Sankt Augustin>: GMD-Studien
231 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | 171 S. graph. Darst. |
| ISBN: | 3884572318 |
Staff View
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 | |
Record in the Search Index
| _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 |