[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/journals/tods/GuoSW96>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Mark_Allen_Weiss>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Sha_Guo>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Wei_Sun_0002>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F232616.232692>
foaf:homepage <https://doi.org/10.1145/232616.232692>
dc:identifier DBLP journals/tods/GuoSW96 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F232616.232692 (xsd:string)
dcterms:issued 1996 (xsd:gYear)
swrc:journal <https://dblp.l3s.de/d2r/resource/journals/tods>
rdfs:label Solving Satisfiability and Implication Problems in Database Systems. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Mark_Allen_Weiss>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Sha_Guo>
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Wei_Sun_0002>
swrc:number 2 (xsd:string)
swrc:pages 270-293 (xsd:string)
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icde/ChengDLS99>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/aw/AhoHU83>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/cs/Ullman88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/cs/Ullman89>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/mg/CeriP84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/books/mg/CormenLR89>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/berkeley/StonebrakerN77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BlakeleyLT86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/Sellis86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/stoc/CoppersmithW87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/BlakeleyCL86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/King81>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/KrishnamurthyBZ86>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/RosenkrantzH80>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/GallaireMN84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/JarkeK84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/csur/YuC84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jacm/Klug88>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/jcss/JohnsonK84>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/AhoSU79>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/JohnsonK83>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/siamcomp/Tarjan72>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tcs/GareyJS76>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/GuoSW96>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/SunW94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/SunY94>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tkde/YuS89>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/AhoSU79>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/AstrahanBCEGGKLMMPTWW76>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/ChakravarthyGM90>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/MeghiniT91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/ShashaW91>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/WongY76>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tse/SunKN89>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/journals/tods/GuoSW96/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/journals/tods/GuoSW96>
rdfs:seeAlso <http://dblp.uni-trier.de/db/journals/tods/tods21.html#GuoSW96>
rdfs:seeAlso <https://doi.org/10.1145/232616.232692>
dc:subject deduction, equivalence, implication, reasoning, satisfiabilty (xsd:string)
dc:title Solving Satisfiability and Implication Problems in Database Systems. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:Article
rdf:type foaf:Document
swrc:volume 21 (xsd:string)