[RDF data]
Home | Example Publications
PropertyValue
dcterms:bibliographicCitation <http://dblp.uni-trier.de/rec/bibtex/conf/sigmod/Nicolas78>
dc:creator <https://dblp.l3s.de/d2r/resource/authors/Jean-Marie_Nicolas_0001>
foaf:homepage <http://dx.doi.org/doi.org%2F10.1145%2F509252.509269>
foaf:homepage <https://doi.org/10.1145/509252.509269>
dc:identifier DBLP conf/sigmod/Nicolas78 (xsd:string)
dc:identifier DOI doi.org%2F10.1145%2F509252.509269 (xsd:string)
dcterms:issued 1978 (xsd:gYear)
rdfs:label First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. (xsd:string)
foaf:maker <https://dblp.l3s.de/d2r/resource/authors/Jean-Marie_Nicolas_0001>
swrc:pages 40-46 (xsd:string)
dcterms:partOf <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/78>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/books/aw/AbiteboulHV95>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/books/cs/Maier83>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/icdt/Lerat86>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/pods/GrahamM82>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/popl/CasanovaB79>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/ImielinskiL82>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/ParkerP80>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Gallaire81>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/MendelzonM79>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Nicolas78>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/csur/GallaireMN84>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/CliffordW83>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/JacobsAK82>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/MaierUV84>
is dcterms:references of <https://dblp.l3s.de/d2r/resource/publications/journals/tods/Rybinski87>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/adbt/NicolasM77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/ifip/Armstrong74>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/mfcs/Cadiou76>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/sigmod/BeeriFH77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/conf/vldb/Nicolas78>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cacm/Codd70>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/cj/Florentin74>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/journals/tods/Fagin77>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/persons/Codd71a>
dcterms:references <https://dblp.l3s.de/d2r/resource/publications/persons/Codd72>
owl:sameAs <http://bibsonomy.org/uri/bibtexkey/conf/sigmod/Nicolas78/dblp>
owl:sameAs <http://dblp.rkbexplorer.com/id/conf/sigmod/Nicolas78>
rdfs:seeAlso <http://dblp.uni-trier.de/db/conf/sigmod/sigmod78.html#Nicolas78>
rdfs:seeAlso <https://doi.org/10.1145/509252.509269>
swrc:series <https://dblp.l3s.de/d2r/resource/conferences/sigmod>
dc:subject functional dependencies, logic and data bases, multivalued dependencies, mutual dependencies, relational data base (xsd:string)
dc:title First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies. (xsd:string)
dc:type <http://purl.org/dc/dcmitype/Text>
rdf:type swrc:InProceedings
rdf:type foaf:Document