{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,13]],"date-time":"2026-11-13T15:28:18Z","timestamp":1794583698632,"version":"4.9.1"},"publisher-location":"New York, NY","reference-count":3,"publisher":"Springer New York","isbn-type":[{"value":"9781461482666","type":"print"},{"value":"9781461482659","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-1-4614-8265-9_1273","type":"book-chapter","created":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T08:01:18Z","timestamp":1544083278000},"page":"1331-1331","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Equality-Generating Dependencies"],"prefix":"10.1007","author":[{"given":"Ronald","family":"Fagin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,12,7]]},"reference":[{"issue":"4","key":"1273_CR5220","doi-asserted-by":"publisher","first-page":"718","DOI":"10.1145\/1634.1636","volume":"31","author":"C Beeri","year":"1984","unstructured":"Beeri C, Vardi MY. A proof procedure for data dependencies. J ACM. 1984;31(4):718\u201341.","journal-title":"J ACM"},{"key":"1273_CR5221","series-title":"Courant computer science series 6","first-page":"33","volume-title":"Database systems","author":"EF Codd","year":"1972","unstructured":"Codd EF. Further normalization of the data base relational model. In: Database systems, Courant computer science series 6. Englewood Cliffs: Prentice-Hall; 1972. p. 33\u201364."},{"issue":"4","key":"1273_CR5222","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/322344.322347","volume":"29","author":"R Fagin","year":"1982","unstructured":"Fagin R. Horn clauses and database dependencies. J ACM. 1982;29(4):952\u201385.","journal-title":"J ACM"}],"container-title":["Encyclopedia of Database Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4614-8265-9_1273","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,10,16]],"date-time":"2026-10-16T06:09:21Z","timestamp":1792130961000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/chapter\/10.1007\/978-1-4614-8265-9_1273"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9781461482666","9781461482659"],"references-count":3,"URL":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9_1273","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-1-4614-8265-9","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}