Transactions and change in logic databases: International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers
Saved in:
| Format: | Conference Proceeding Book |
|---|---|
| Language: | English |
| Published: |
Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a.
Springer
1998
|
| Series: | Lecture notes in computer science
1472 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | X, 396 S. |
| ISBN: | 3540653058 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012254981 | ||
| 003 | DE-604 | ||
| 005 | 19990325 | ||
| 007 | t| | ||
| 008 | 981103s1998 gw |||| 10||| eng d | ||
| 016 | 7 | |a 954848721 |2 DE-101 | |
| 020 | |a 3540653058 |9 3-540-65305-8 | ||
| 035 | |a (OCoLC)246316093 | ||
| 035 | |a (DE-599)BVBBV012254981 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91G |a DE-384 |a DE-739 |a DE-706 |a DE-521 |a DE-83 |a DE-188 | ||
| 050 | 0 | |a QA76.9.D3I5655 1996 | |
| 082 | 0 | |a 005.75/7 21 | |
| 082 | 0 | |a 005.757 | |
| 082 | 0 | |a 005.75/7 | |
| 084 | |a ST 270 |0 (DE-625)143638: |2 rvk | ||
| 084 | |a DAT 706f |2 stub | ||
| 084 | |a DAT 651f |2 stub | ||
| 084 | |a 28 |2 sdnb | ||
| 245 | 1 | 0 | |a Transactions and change in logic databases |b International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers |c Burkhard Freitag ... (eds.) |
| 264 | 1 | |a Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a. |b Springer |c 1998 | |
| 300 | |a X, 396 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Lecture notes in computer science |v 1472 | |
| 650 | 4 | |a Deductive databases -- Congresses | |
| 650 | 4 | |a Logic programming -- 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 |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Datenbank |0 (DE-588)4011119-2 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 1996 |z Dagstuhl |2 gnd-content | |
| 689 | 0 | 0 | |a Datenbank |0 (DE-588)4011119-2 |D s |
| 689 | 0 | 1 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Deduktives Datenbanksystem |0 (DE-588)4258784-0 |D s |
| 689 | 1 | 1 | |a Logische Programmierung |0 (DE-588)4195096-3 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Freitag, Burkhard |d 1953- |e Sonstige |0 (DE-588)120549158 |4 oth | |
| 711 | 2 | |a International Seminar on Logic Databases and the Meaning of Change |d 1996 |c Dagstuhl |j Sonstige |0 (DE-588)2173307-7 |4 oth | |
| 830 | 0 | |a Lecture notes in computer science |v 1472 |w (DE-604)BV000000607 |9 1472 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008304415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008304415 | |
Record in the Search Index
| _version_ | 1820874882185953280 |
|---|---|
| adam_text |
TABLE
OF
CONTENTS
CONTRIBUTIONS
THE
STATE
OF
CHANGE:
A
SURVEY
.
1
ANTHONY
J.
BONNER
(UNIVERSITY
OF
TORONTO),
MICHAEL
KIFER
(UNIVERSITY
AT
STONY
BROOK)
SPECIFICATION
OF
DYNAMICS
FOR
KNOWLEDGE-BASED
SYSTEMS
.
37
PASCAL
VAN
ECK
(VRIJE
UNIVERSITEIT
AMSTERDAM),
JOERI
ENGELFRIET
(VRIJE
UNIVERSITEIT
AMSTERDAM),
DIETER
FENSEL
(UNIVERSITY
OF
KARLSRUHE),
FRANK
VAN
HARMELEN
(VRIJE
UNIVERSITEIT
AMSTERDAM),
YDE
VENEMA
(UNIVERSITY
OF
AMSTERDAM),
MARK
WILLEMS
(BOLESIAN
B.V.)
ON
ACTIVE
DEDUCTIVE
DATABASES:
THE
STATELOG
APPROACH
.
69
GEORG
LAUSEN,
BERTRAM
LUDASCHER,
WOLFGANG
MAY
(UNIVERSITAT
FREIBURG)
ACTIVE-U-DATALOG:
INTEGRATING
ACTIVE
RULES
IN
A
LOGICAL
UPDATE
LANGUAGE
107
ELISA
BERTINO
(UNIVERSITY
OF
MILANO),
BARBARA
CATANIA
(UNIVERSITY
OF
MILANO),
VINCENZO
GERVASI
(UNIVERSITY
OF
PISA),
ALESSANDRA
RAFFAETA
(UNIVERSITY
OF
PISA)
LOGICAL
TRANSACTIONS
AND
SERIALIZABILITY
.
134
CARL-ALEXANDER
WICHERT,
BURKHARD
FREITAG,
ALFRED
FENT
(UNIVERSITAT
PASSAU)
RESULTS
ON
REASONING
ABOUT
UPDATES
IN
TRANSACTION
LOGIC
.
166
ANTHONY
J.
BONNER
(UNIVERSITY
OF
TORONTO),
MICHAEL
KIFER
(UNIVERSITY
AT
STONY
BROOK)
THE
DYNAMICS
OF
DATABASE
VIEWS
.
197
MARCELO
ARENAS,
LEOPOLDO
BERTOSSI
(UNIVERSIDAD
CATOLICA
DE
CHILE)
INDUCTIVE
DEFINABILITY
AND
THE
SITUATION
CALCULUS
.
227
EUGENIA
TEMOVSKAIA
(UNIVERSITY
OF
TORONTO)
SOME
NOTES
ON
KNOWLEDGE
ASSIMILATION
IN
DEDUCTIVE
DATABASES
.
249
HENDRIK
DECKER
(UNIVERSITAT
MUNCHEN)
APPLICATIONS
OF
BELIEF
REVISION
.
287
MARY-ANNE
WILLIAMS
(UNIVERSITY
OF
NEWCASTLE)
ANALYSING
RATIONAL
PROPERTIES
OF
CHANGE
OPERATORS
BASED
ON
FORWARD
CHAINING
.
317
HASSAN
BEZZAZI,
STEPHANE
JANOT,
SEBASTIEN
KONIECZNY,
RAMON
PINO
PEREZ
(UNIVERSITY
DE
LILLE
I)
X
TABLE
OF
CONTENTS
A
PRACTICAL
APPROACH
TO
HYPOTHETICAL
DATABASE
QUERIES
.
340
HENNING
CHRISTIANSEN
AND
TROELS
ANDREASEN
(ROSKILDE
UNIVERSITY)
FROM
EXTENSIONAL
TO
INTENSIONAL
KNOWLEDGE:
INDUCTIVE
LOGIC
PROGRAMMING
TECHNIQUES
AND
THEIR
APPLICATION
TO
DEDUCTIVE
DATABASES
.
356
PETER
A.
FLACH
(UNIVERSITY
OF
BRISTOL)
AUTHOR
INDEX
.
389
SUBJECT
INDEX
.
391 |
| any_adam_object | 1 |
| author_GND | (DE-588)120549158 |
| building | Verbundindex |
| bvnumber | BV012254981 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.D3I5655 1996 |
| callnumber-search | QA76.9.D3I5655 1996 |
| callnumber-sort | QA 276.9 D3 I5655 41996 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | ST 270 |
| classification_tum | DAT 706f DAT 651f |
| ctrlnum | (OCoLC)246316093 (DE-599)BVBBV012254981 |
| dewey-full | 005.75/721 005.757 005.75/7 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.75/7 21 005.757 005.75/7 |
| dewey-search | 005.75/7 21 005.757 005.75/7 |
| dewey-sort | 15.75 17 221 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| 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">BV012254981</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990325</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">981103s1998 gw |||| 10||| eng d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">954848721</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3540653058</subfield><subfield code="9">3-540-65305-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246316093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012254981</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">eng</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-91G</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.D3I5655 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.75/7 21</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.757</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.75/7</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 651f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">28</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Transactions and change in logic databases</subfield><subfield code="b">International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers</subfield><subfield code="c">Burkhard Freitag ... (eds.)</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a.</subfield><subfield code="b">Springer</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 396 S.</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">Lecture notes in computer science</subfield><subfield code="v">1472</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Deductive databases -- Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming -- 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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</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">Dagstuhl</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Datenbank</subfield><subfield code="0">(DE-588)4011119-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</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="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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Freitag, Burkhard</subfield><subfield code="d">1953-</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)120549158</subfield><subfield code="4">oth</subfield></datafield><datafield tag="711" ind1="2" ind2=" "><subfield code="a">International Seminar on Logic Databases and the Meaning of Change</subfield><subfield code="d">1996</subfield><subfield code="c">Dagstuhl</subfield><subfield code="j">Sonstige</subfield><subfield code="0">(DE-588)2173307-7</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Lecture notes in computer science</subfield><subfield code="v">1472</subfield><subfield code="w">(DE-604)BV000000607</subfield><subfield code="9">1472</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=008304415&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-008304415</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 1996 Dagstuhl gnd-content |
| genre_facet | Konferenzschrift 1996 Dagstuhl |
| id | DE-604.BV012254981 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T15:06:47Z |
| institution | BVB |
| institution_GND | (DE-588)2173307-7 |
| isbn | 3540653058 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008304415 |
| oclc_num | 246316093 |
| open_access_boolean | |
| owner | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-521 DE-83 DE-188 |
| owner_facet | DE-91G DE-BY-TUM DE-384 DE-739 DE-706 DE-521 DE-83 DE-188 |
| physical | X, 396 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Springer |
| record_format | marc |
| series | Lecture notes in computer science |
| series2 | Lecture notes in computer science |
| spelling | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers Burkhard Freitag ... (eds.) Berlin ; Heidelberg ; New York ; Barcelona ; Hong Kong u.a. Springer 1998 X, 396 S. txt rdacontent n rdamedia nc rdacarrier Lecture notes in computer science 1472 Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd rswk-swf Deduktives Datenbanksystem (DE-588)4258784-0 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Datenbank (DE-588)4011119-2 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 1996 Dagstuhl gnd-content Datenbank (DE-588)4011119-2 s Logik (DE-588)4036202-4 s DE-604 Deduktives Datenbanksystem (DE-588)4258784-0 s Logische Programmierung (DE-588)4195096-3 s Freitag, Burkhard 1953- Sonstige (DE-588)120549158 oth International Seminar on Logic Databases and the Meaning of Change 1996 Dagstuhl Sonstige (DE-588)2173307-7 oth Lecture notes in computer science 1472 (DE-604)BV000000607 1472 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008304415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers Lecture notes in computer science Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logik (DE-588)4036202-4 gnd Datenbank (DE-588)4011119-2 gnd |
| subject_GND | (DE-588)4195096-3 (DE-588)4258784-0 (DE-588)4036202-4 (DE-588)4011119-2 (DE-588)1071861417 |
| title | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers |
| title_auth | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers |
| title_exact_search | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers |
| title_full | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers Burkhard Freitag ... (eds.) |
| title_fullStr | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers Burkhard Freitag ... (eds.) |
| title_full_unstemmed | Transactions and change in logic databases International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers Burkhard Freitag ... (eds.) |
| title_short | Transactions and change in logic databases |
| title_sort | transactions and change in logic databases international seminar on logic databases and the meaning of change schloss dagstuhl germany september 23 27 1996 invited surveys and selected papers |
| title_sub | International Seminar on Logic Databases and the Meaning of Change, Schloss Dagstuhl, Germany, September 23 - 27, 1996 ... ; invited surveys and selected papers |
| topic | Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung (DE-588)4195096-3 gnd Deduktives Datenbanksystem (DE-588)4258784-0 gnd Logik (DE-588)4036202-4 gnd Datenbank (DE-588)4011119-2 gnd |
| topic_facet | Deductive databases -- Congresses Logic programming -- Congresses Logische Programmierung Deduktives Datenbanksystem Logik Datenbank Konferenzschrift 1996 Dagstuhl |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008304415&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV000000607 |
| work_keys_str_mv | AT freitagburkhard transactionsandchangeinlogicdatabasesinternationalseminaronlogicdatabasesandthemeaningofchangeschlossdagstuhlgermanyseptember23271996invitedsurveysandselectedpapers AT internationalseminaronlogicdatabasesandthemeaningofchangedagstuhl transactionsandchangeinlogicdatabasesinternationalseminaronlogicdatabasesandthemeaningofchangeschlossdagstuhlgermanyseptember23271996invitedsurveysandselectedpapers |