Logical transactions and serializability:
Abstract: "The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. Fo...
Saved in:
| Main Authors: | , , |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Passau
1998
|
| Series: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
1998,07 |
| Subjects: | |
| Summary: | Abstract: "The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. For this purpose, several update languages have been proposed, among them [AHV95, BK94, BK96, Che97, LHL95, MW88, MBM97, WF97a], which allow to specify complex transitions from one database state to another. From the evaluation point of view, a complex state transition can and should be considered as a transaction. Up to now, the isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for classical, sequential transactions (see [BHG87] for instance). In this paper we present the ULTRA approach and describe how isolation of independent transactions can be supported. We illustrate the results using an extended example." |
| Physical Description: | 47, 5 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012067568 | ||
| 003 | DE-604 | ||
| 007 | t| | ||
| 008 | 980721s1998 xx |||| 00||| eng d | ||
| 035 | |a (OCoLC)41138350 | ||
| 035 | |a (DE-599)BVBBV012067568 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-634 | ||
| 100 | 1 | |a Wichert, Carl-Alexander |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logical transactions and serializability |c Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| 264 | 1 | |a Passau |c 1998 | |
| 300 | |a 47, 5 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |v 1998,07 | |
| 520 | 3 | |a Abstract: "The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. For this purpose, several update languages have been proposed, among them [AHV95, BK94, BK96, Che97, LHL95, MW88, MBM97, WF97a], which allow to specify complex transitions from one database state to another. From the evaluation point of view, a complex state transition can and should be considered as a transaction. Up to now, the isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for classical, sequential transactions (see [BHG87] for instance). In this paper we present the ULTRA approach and describe how isolation of independent transactions can be supported. We illustrate the results using an extended example." | |
| 650 | 4 | |a Databases | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Rule-based programming | |
| 650 | 4 | |a Transaction systems (Computer systems) | |
| 650 | 0 | 7 | |a Theoretische Informatik |0 (DE-588)4196735-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Informatik |0 (DE-588)4026894-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematik |0 (DE-588)4037944-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Theoretische Informatik |0 (DE-588)4196735-5 |D s |
| 689 | 0 | 1 | |a Informatik |0 (DE-588)4026894-9 |D s |
| 689 | 0 | 2 | |a Mathematik |0 (DE-588)4037944-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Freitag, Burkhard |d 1953- |e Verfasser |0 (DE-588)120549158 |4 aut | |
| 700 | 1 | |a Fent, Alfred |e Verfasser |4 aut | |
| 810 | 2 | |a Fakultät für Mathematik und Informatik: MIP |t Universität <Passau> |v 1998,07 |w (DE-604)BV000905393 |9 1998,07 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008168645 | |
Record in the Search Index
| _version_ | 1820882317961330688 |
|---|---|
| adam_text | |
| any_adam_object | |
| author | Wichert, Carl-Alexander Freitag, Burkhard 1953- Fent, Alfred |
| author_GND | (DE-588)120549158 |
| author_facet | Wichert, Carl-Alexander Freitag, Burkhard 1953- Fent, Alfred |
| author_role | aut aut aut |
| author_sort | Wichert, Carl-Alexander |
| author_variant | c a w caw b f bf a f af |
| building | Verbundindex |
| bvnumber | BV012067568 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)41138350 (DE-599)BVBBV012067568 |
| discipline | Informatik |
| format | 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">BV012067568</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">980721s1998 xx |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)41138350</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012067568</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="049" ind1=" " ind2=" "><subfield code="a">DE-154</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Wichert, Carl-Alexander</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logical transactions and serializability</subfield><subfield code="c">Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Passau</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">47, 5 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">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">1998,07</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. For this purpose, several update languages have been proposed, among them [AHV95, BK94, BK96, Che97, LHL95, MW88, MBM97, WF97a], which allow to specify complex transitions from one database state to another. From the evaluation point of view, a complex state transition can and should be considered as a transaction. Up to now, the isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for classical, sequential transactions (see [BHG87] for instance). In this paper we present the ULTRA approach and describe how isolation of independent transactions can be supported. We illustrate the results using an extended example."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Databases</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Rule-based programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transaction systems (Computer systems)</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Theoretische Informatik</subfield><subfield code="0">(DE-588)4196735-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Informatik</subfield><subfield code="0">(DE-588)4026894-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Mathematik</subfield><subfield code="0">(DE-588)4037944-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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">Verfasser</subfield><subfield code="0">(DE-588)120549158</subfield><subfield code="4">aut</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fent, Alfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="t">Universität <Passau></subfield><subfield code="v">1998,07</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">1998,07</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008168645</subfield></datafield></record></collection> |
| id | DE-604.BV012067568 |
| illustrated | Not Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008168645 |
| oclc_num | 41138350 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-634 |
| owner_facet | DE-154 DE-739 DE-12 DE-634 |
| physical | 47, 5 S. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Wichert, Carl-Alexander Verfasser aut Logical transactions and serializability Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent Passau 1998 47, 5 S. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 1998,07 Abstract: "The concept of logic databases can serve as a clear and expressive foundation of various kinds of information systems. However, classical logic languages refer to a single database state, whereas in modern information systems it is necessary to take dynamic behaviour into account. For this purpose, several update languages have been proposed, among them [AHV95, BK94, BK96, Che97, LHL95, MW88, MBM97, WF97a], which allow to specify complex transitions from one database state to another. From the evaluation point of view, a complex state transition can and should be considered as a transaction. Up to now, the isolation property of transactions has been poorly addressed in the context of logic update languages, although it is an important problem even for classical, sequential transactions (see [BHG87] for instance). In this paper we present the ULTRA approach and describe how isolation of independent transactions can be supported. We illustrate the results using an extended example." Databases Logic programming Rule-based programming Transaction systems (Computer systems) Theoretische Informatik (DE-588)4196735-5 gnd rswk-swf Informatik (DE-588)4026894-9 gnd rswk-swf Mathematik (DE-588)4037944-9 gnd rswk-swf Theoretische Informatik (DE-588)4196735-5 s Informatik (DE-588)4026894-9 s Mathematik (DE-588)4037944-9 s DE-604 Freitag, Burkhard 1953- Verfasser (DE-588)120549158 aut Fent, Alfred Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 1998,07 (DE-604)BV000905393 1998,07 |
| spellingShingle | Wichert, Carl-Alexander Freitag, Burkhard 1953- Fent, Alfred Logical transactions and serializability Databases Logic programming Rule-based programming Transaction systems (Computer systems) Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| subject_GND | (DE-588)4196735-5 (DE-588)4026894-9 (DE-588)4037944-9 |
| title | Logical transactions and serializability |
| title_auth | Logical transactions and serializability |
| title_exact_search | Logical transactions and serializability |
| title_full | Logical transactions and serializability Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_fullStr | Logical transactions and serializability Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_full_unstemmed | Logical transactions and serializability Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_short | Logical transactions and serializability |
| title_sort | logical transactions and serializability |
| topic | Databases Logic programming Rule-based programming Transaction systems (Computer systems) Theoretische Informatik (DE-588)4196735-5 gnd Informatik (DE-588)4026894-9 gnd Mathematik (DE-588)4037944-9 gnd |
| topic_facet | Databases Logic programming Rule-based programming Transaction systems (Computer systems) Theoretische Informatik Informatik Mathematik |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT wichertcarlalexander logicaltransactionsandserializability AT freitagburkhard logicaltransactionsandserializability AT fentalfred logicaltransactionsandserializability |