First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies

Authors

• 1. J. M. Nicolas (Office National d'Etudes et de Recherches Aérospatiales)

@inproceedings{nicolas_sigmod78,
        title = {{First Order Logic Formalization for Functional, Multivalued and Mutual Dependencies}},
        author = {Nicolas, J. M.},
        series = {{SIGMOD} '78},
        booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management of Data},
        publisher = {Association for Computing Machinery},
        doi = {10.1145/509252.509269},
        url = {https://dl.acm.org/doi/10.1145/509252.509269},
        year = {1978}
}

Incoming Citations (Sorted by Pagerank)

Showing 3 of 3 citing papers.

Outgoing Citations (Sorted by Pagerank)

Showing 1 of 1 cited papers.

Citations counted here include only citations to other VLDB/SIGMOD/CIDR/PODS papers in this database.

Semantically Similar Papers