{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T15:41:46Z","timestamp":1743090106788,"version":"3.40.3"},"publisher-location":"New York, NY","reference-count":3,"publisher":"Springer New York","isbn-type":[{"type":"print","value":"9781461482666"},{"type":"electronic","value":"9781461482659"}],"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"}],"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-06T13:01:18Z","timestamp":1544101278000},"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":[]}],"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":"http:\/\/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":[[2020,6,1]],"date-time":"2020-06-01T23:43:15Z","timestamp":1591054995000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/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":{},"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"7 December 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}