[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/tods/Chomicki95>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jan_Chomicki>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F210197.210200>
foaf:homepage <https://doi.org/10.1145/210197.210200>
dc:identifier DBLP journals/tods/Chomicki95 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F210197.210200 (xsd:string)
dcterms:issued 1995 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/tods>
rdfs:label Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Jan_Chomicki>
swrc:number 2 (xsd:string)
swrc:pages 149-186 (xsd:string)
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/edbt/BohlenCST96>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/edbt/TomanN96>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/edbt/YangW00>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/debu/Chomicki94>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/dr/Bettini00c>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/ChomickiT95>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/Wijsen99>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/aw/AbiteboulHV95>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/bc/TanselCGJSS93>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/mk/minker88/AptBW88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/icde/Chomicki92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/icde/GertzL93>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/icde/Qian88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/lics/HarelLP90>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/lics/VardiW86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/pods/Chomicki92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/pods/ChomickiI88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/pods/KanellakisKR90>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/popl/GabbayPSS80>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/popl/Vardi88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/rex/AlurH91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/GehaniJS92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/HsuI85>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Kung85>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/QianW88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/stacs/NassorV92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/BernsteinBC80>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/CastilhoCF82>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/CeriW91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/GabbayM91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/GehaniJS92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/QianS87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/TuzhilinC90>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/WidomCL91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/acta/HulsmannS91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/acta/Nicolas82>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/Allen83>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/LohmanLPS91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/computer/SnodgrassA86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/GallaireMN84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/debu/Chomicki94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/debu/LipeckGS94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/dke/SchwiderskiHS94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/dpd/Ramamritham93>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/iandc/AlurH93>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/iandc/Wolper83>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/is/AhnS88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/is/LipeckS87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Demolombe92>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Paola69a>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jcss/ChomickiN95>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/sigmod/DayalBBCHLMRSCLJ88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tcs/Topor87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/ChomickiT95>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/SistlaW95>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/CliffordC94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/GelderT91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/Snodgrass87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/toplas/MorzentiMG92>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/tods/Chomicki95/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/tods/Chomicki95>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/tods/tods20.html#Chomicki95>
rdfs:seeAlso <https://doi.org/10.1145/210197.210200>
dc:subject active databases, database integrity, integrity constraints, real-time databases, temporal databases, temporal logic, triggers (xsd:string)
dc:title Efficient Checking of Temporal Integrity Constraints Using Bounded History Encoding. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 20 (xsd:string)