Applying Formal Methods to Semantic-Based Decomposition of Transactions.
Resource URI: https://dblp.l3s.de/d2r/resource/publications/journals/tods/AmmannJR97
Home
|
Example Publications
Property
Value
dcterms:
bibliographicCitation
<
http://dblp.uni-trier.de/rec/bibtex/journals/tods/AmmannJR97
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Indrakshi_Ray
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Paul_Ammann
>
dc:
creator
<
https://dblp.l3s.de/d2r/resource/authors/Sushil_Jajodia
>
foaf:
homepage
<
http://dx.doi.org/doi.org%2F10.1145%2F249978.249981
>
foaf:
homepage
<
https://doi.org/10.1145/249978.249981
>
dc:
identifier
DBLP journals/tods/AmmannJR97
(xsd:string)
dc:
identifier
DOI doi.org%2F10.1145%2F249978.249981
(xsd:string)
dcterms:
issued
1997
(xsd:gYear)
swrc:
journal
<
https://dblp.l3s.de/d2r/resource/journals/tods
>
rdfs:
label
Applying Formal Methods to Semantic-Based Decomposition of Transactions.
(xsd:string)
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Indrakshi_Ray
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Paul_Ammann
>
foaf:
maker
<
https://dblp.l3s.de/d2r/resource/authors/Sushil_Jajodia
>
swrc:
number
2
(xsd:string)
swrc:
pages
215-254
(xsd:string)
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/BernsteinGLL98
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/cacm/JajodiaMA99
>
is
dcterms:
references
of
<
https://dblp.l3s.de/d2r/resource/publications/journals/csur/Thomasian98
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/aw/BernsteinHG87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/bc/ElmasriN89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/books/mk/elmagarmid92/WachterR92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/icdcs/RastogiKS95
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/icde/JajodiaM87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/podc/LevyKS91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Garcia-MolinaS87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/KorthS88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/LevyKS91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/ShashaSV92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/AmmannJR95
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/DuE89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/conf/vldb/KorthLS90
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/cacm/OwickiG76
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/jcss/HerlihyW91
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tc/Herlihy87
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tc/ShaLJ88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tc/Weihl88
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/AgrawalAS93
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/BadrinathR92
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/ChrysanthisR94
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/FarragO89
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/Garcia-Molina83
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/KorthS94
>
dcterms:
references
<
https://dblp.l3s.de/d2r/resource/publications/journals/tods/Lynch83
>
owl:
sameAs
<
http://bibsonomy.org/uri/bibtexkey/journals/tods/AmmannJR97/dblp
>
owl:
sameAs
<
http://dblp.rkbexplorer.com/id/journals/tods/AmmannJR97
>
rdfs:
seeAlso
<
http://dblp.uni-trier.de/db/journals/tods/tods22.html#AmmannJR97
>
rdfs:
seeAlso
<
https://doi.org/10.1145/249978.249981
>
dc:
subject
concurrency control, database management systems, transaction processing
(xsd:string)
dc:
title
Applying Formal Methods to Semantic-Based Decomposition of Transactions.
(xsd:string)
dc:
type
<
http://purl.org/dc/dcmitype/Text
>
rdf:
type
swrc:Article
rdf:
type
foaf:Document
swrc:
volume
22
(xsd:string)