A logical framework for the specification of transactions:
Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definitio...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Passau
2000
|
| Schriftenreihe: | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP
2000,02 |
| Schlagworte: | |
| Zusammenfassung: | Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper as one example. However, the framework is not tied to database applications and can also deal with states and actions of other external systems such as robot control systems or workflow engines. The semantics of an update goal is defined as a structured transition. Depending on the selected execution model, the materialization of a transition can be either deferred or performed immediately." |
| Beschreibung: | 46, 3 S. graph. Darst. |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013004615 | ||
| 003 | DE-604 | ||
| 005 | 20000301 | ||
| 007 | t| | ||
| 008 | 000225s2000 xx d||| |||| 00||| eng d | ||
| 035 | |a (OCoLC)45097283 | ||
| 035 | |a (DE-599)BVBBV013004615 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-154 |a DE-739 |a DE-12 |a DE-703 | ||
| 100 | 1 | |a Wichert, Carl-Alexander |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a A logical framework for the specification of transactions |c Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| 264 | 1 | |a Passau |c 2000 | |
| 300 | |a 46, 3 S. |b graph. Darst. | ||
| 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 2000,02 | |
| 520 | 3 | |a Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper as one example. However, the framework is not tied to database applications and can also deal with states and actions of other external systems such as robot control systems or workflow engines. The semantics of an update goal is defined as a structured transition. Depending on the selected execution model, the materialization of a transition can be either deferred or performed immediately." | |
| 650 | 4 | |a Logic programming | |
| 650 | 4 | |a Transaction systems (Computer systems) | |
| 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 2000,02 |w (DE-604)BV000905393 |9 2000,02 | |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-008863134 | |
Datensatz im Suchindex
| _version_ | 1820882318006419456 |
|---|---|
| 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 | BV013004615 |
| classification_rvk | SS 5600 |
| ctrlnum | (OCoLC)45097283 (DE-599)BVBBV013004615 |
| 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">BV013004615</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000301</controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">000225s2000 xx d||| |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45097283</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013004615</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</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-703</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">A logical framework for the specification of transactions</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">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">46, 3 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">Universität <Passau> / Fakultät für Mathematik und Informatik: MIP</subfield><subfield code="v">2000,02</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper as one example. However, the framework is not tied to database applications and can also deal with states and actions of other external systems such as robot control systems or workflow engines. The semantics of an update goal is defined as a structured transition. Depending on the selected execution model, the materialization of a transition can be either deferred or performed immediately."</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic programming</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Transaction systems (Computer systems)</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">2000,02</subfield><subfield code="w">(DE-604)BV000905393</subfield><subfield code="9">2000,02</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-008863134</subfield></datafield></record></collection> |
| id | DE-604.BV013004615 |
| illustrated | Illustrated |
| indexdate | 2025-01-10T17:04:59Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008863134 |
| oclc_num | 45097283 |
| open_access_boolean | |
| owner | DE-154 DE-739 DE-12 DE-703 |
| owner_facet | DE-154 DE-739 DE-12 DE-703 |
| physical | 46, 3 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| record_format | marc |
| series2 | Universität <Passau> / Fakultät für Mathematik und Informatik: MIP |
| spelling | Wichert, Carl-Alexander Verfasser aut A logical framework for the specification of transactions Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent Passau 2000 46, 3 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Universität <Passau> / Fakultät für Mathematik und Informatik: MIP 2000,02 Abstract: "In this paper a logical framework called ULTRA is presented that can serve as the basis for a variety of update languages, among others extensions of the database language SQL, accommodating nested update queries and universal quantification over updates. We give a complete definition of the syntax and semantics of the ULTRA language based on concepts of logic databases. A natural candidate for an instantiation of the ULTRA framework is a database update language which we discuss in this paper as one example. However, the framework is not tied to database applications and can also deal with states and actions of other external systems such as robot control systems or workflow engines. The semantics of an update goal is defined as a structured transition. Depending on the selected execution model, the materialization of a transition can be either deferred or performed immediately." Logic programming Transaction systems (Computer systems) Freitag, Burkhard 1953- Verfasser (DE-588)120549158 aut Fent, Alfred Verfasser aut Fakultät für Mathematik und Informatik: MIP Universität <Passau> 2000,02 (DE-604)BV000905393 2000,02 |
| spellingShingle | Wichert, Carl-Alexander Freitag, Burkhard 1953- Fent, Alfred A logical framework for the specification of transactions Logic programming Transaction systems (Computer systems) |
| title | A logical framework for the specification of transactions |
| title_auth | A logical framework for the specification of transactions |
| title_exact_search | A logical framework for the specification of transactions |
| title_full | A logical framework for the specification of transactions Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_fullStr | A logical framework for the specification of transactions Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_full_unstemmed | A logical framework for the specification of transactions Carl-Alexander Wichert ; Burkhard Freitag ; Alfred Fent |
| title_short | A logical framework for the specification of transactions |
| title_sort | a logical framework for the specification of transactions |
| topic | Logic programming Transaction systems (Computer systems) |
| topic_facet | Logic programming Transaction systems (Computer systems) |
| volume_link | (DE-604)BV000905393 |
| work_keys_str_mv | AT wichertcarlalexander alogicalframeworkforthespecificationoftransactions AT freitagburkhard alogicalframeworkforthespecificationoftransactions AT fentalfred alogicalframeworkforthespecificationoftransactions |