[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/tkde/Li93>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Liwu_Li_0001>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1109%2F69.219735>
foaf:homepage <https://doi.org/10.1109/69.219735>
dc:identifier DBLP journals/tkde/Li93 (xsd:string)
dc:identifier DOI doi.org%2F10.1109%2F69.219735 (xsd:string)
dcterms:issued 1993 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/tkde>
rdfs:label Fast In-Place Verification of Data Dependencies. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Liwu_Li_0001>
swrc:number 2 (xsd:string)
swrc:pages 266-281 (xsd:string)
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/aw/Knuth73>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/cs/Maier83>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/cs/Ullman88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/afips/Batcher68>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Armstrong74>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BeeriFH77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/Codd70>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/HuangL88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/dke/YangS89>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Sagiv80>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/SagivDPF81>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/AhoBU79>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/Fagin77>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/tkde/Li93/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/tkde/Li93>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/tkde/tkde5.html#Li93>
rdfs:seeAlso <https://doi.org/10.1109/69.219735>
dc:subject in-place verification; data dependencies; space-optimal sequential; parallel algorithms; satisfaction problem; multivalued dependencies; fast space-optimal sorting techniques; space optimality; sequential implementations; I/O transfers; relational database systems; in-place FD; MVD verification; tuples; relation modification; parallel algorithms; program verification; relational databases (xsd:string)
dc:title Fast In-Place Verification of Data Dependencies. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 5 (xsd:string)