{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:01:27Z","timestamp":1725663687742},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540556930"},{"type":"electronic","value":"9783540472728"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55693-1_37","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T10:32:19Z","timestamp":1330252339000},"page":"156-174","source":"Crossref","is-referenced-by-count":1,"title":["Integration of modal logic and the functional data model"],"prefix":"10.1007","author":[{"given":"D. R.","family":"Sutton","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"P. J. H.","family":"King","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"9_CR1","first-page":"299","volume-title":"Advances in Database Theory Vol 1","author":"J. Biskup","year":"1981","unstructured":"J. Biskup: \u201cA Formal Approach to Null Values in Database Relations\u201d in Advances in Database Theory Vol 1 (Eds. H.Gallaire, S.Minker, J.M.Nicolas), Plenum Press, New York, 1981, pp. 299\u2013341."},{"issue":"No.4","key":"9_CR2","doi-asserted-by":"crossref","first-page":"608","DOI":"10.1145\/319996.320014","volume":"8","author":"J. Biskup","year":"1983","unstructured":"J. Biskup: \u201cA Foundation of Codd's Relational Maybe-Operations\u201d ACM Transactions on Database Systems, Vol 8. No. 4, December 1983, pp. 608\u2013636.","journal-title":"ACM Transactions on Database Systems"},{"key":"9_CR3","unstructured":"Donald D. Chamberlin: \u201cA summary of user experience with the SQL data sub-language\u201d in Proceedings, International Conference on Databases, Heyden & Son 1980, pp. 181\u2013203."},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Brian F. Chellas: \u201cModal Logic, an Introduction\u201d, Cambridge University Press, 1980.","DOI":"10.1017\/CBO9780511621192"},{"issue":"No.4","key":"9_CR5","doi-asserted-by":"crossref","first-page":"397","DOI":"10.1145\/320107.320109","volume":"4","author":"E.F. Codd","year":"1979","unstructured":"E.F. Codd: \u201cExtending the Database Relational Model to Capture More Meaning\u201d ACM Transactions on Database Systems, Vol. 4, No. 4, December 1979, pp. 397\u2013434.","journal-title":"ACM Transactions on Database Systems"},{"issue":"No.4","key":"9_CR6","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1145\/16301.16303","volume":"15","author":"E.F. Codd","year":"1986","unstructured":"E.F. Codd: \u201cMissing Information (Applicable and Inapplicable) in Relational Databases\u201d SIGMOD RECORD, Vol. 15, No. 4, December 1986, pp. 53\u201378.","journal-title":"SIGMOD RECORD"},{"key":"9_CR7","unstructured":"C.J.Date: \u201cNull Values in Database Management\u201d Relational Database, Selected Writings Addison-Wesley, 1986, pp. 313\u2013334."},{"key":"9_CR8","unstructured":"M. Derakhshan: \u201cA Development of the Grid File for the Storage of Binary Relations\u201d, Ph.D. Thesis, Birkbeck College, Univ. of London, 1989."},{"key":"9_CR9","unstructured":"R.A. Frost: \u201cIntroduction to Knowledge Base Systems\u201d, Collins, 1986."},{"key":"9_CR10","unstructured":"A.J. Field and P.G. Harrison: \u201cFunctional Programming\u201d, Addison-Wesley, 1988."},{"issue":"No.3","key":"9_CR11","doi-asserted-by":"crossref","first-page":"30","DOI":"10.1145\/126482.126486","volume":"20","author":"G.H. Gessert","year":"1991","unstructured":"G.H.Gessert: \u201cHandling Missing Data by Using Stored Truth Values\u201d SIG-MOD RECORD Vol. 20, No. 3, September 1991, pp. 30\u201342.","journal-title":"SIG-MOD RECORD"},{"issue":"No.2","key":"9_CR12","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1016\/0020-0190(79)90138-8","volume":"9","author":"J. Grant","year":"1979","unstructured":"J.Grant: \u201cPartial Values in a Tabular Database Model\u201d Information Processing Letters Vol. 9, No. 2, August 1979, pp. 97\u201399.","journal-title":"Information Processing Letters"},{"key":"9_CR13","unstructured":"G.Gottlob and R.Zicari: \u201cClosed World Databases Opened Through Null Values\u201d. Proc. 14th International Conference on Very Large Databases, 1988, pp. 50\u201361."},{"key":"9_CR14","unstructured":"G.E. Hughes and M.J. Cresswell: \u201cAn introduction to Modal Logic\u201d, Methuen, 1972."},{"key":"9_CR15","unstructured":"T. Imielinski and W.Lipski: \u201cOn Representing Incomplete Information in a Relational Database\u201d, Proc. 7th International Conference on Very Large Databases, 1981, pp. 388\u2013397."},{"issue":"No4","key":"9_CR16","doi-asserted-by":"crossref","first-page":"761","DOI":"10.1145\/1634.1886","volume":"31","author":"T. Imielinski","year":"1984","unstructured":"T. Imielinski and W. Lipski: \u201cIncomplete Information in Relational Databases\u201d, Journal of the ACM, Vol 31, No 4, October 1984, pp. 761\u2013791.","journal-title":"Journal of the ACM"},{"issue":"No7","key":"9_CR17","doi-asserted-by":"crossref","first-page":"620","DOI":"10.1109\/TSE.1985.232506","volume":"SE-11","author":"A.M. Keller","year":"1985","unstructured":"A.M.Keller and M.W.Wilkins: \u201cOn the Use of an Extended Relational Model to Handle Changing Incomplete Information\u201d, IEEE Transactions On Software Engineering, Vol. SE-11, No 7., July 1985, pp.620\u2013633.","journal-title":"IEEE Transactions On Software Engineering"},{"key":"9_CR18","unstructured":"P.J.H. King, M.Derakhshan, A.Poulovassilis and C.Small: \u201cTristarp: an investigation into the implementation and exploitation of binary relational structures.\u201d Proc. 8th British National Conference on Databases, 1990, pp. 64\u201384."},{"issue":"No.1","key":"9_CR19","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/322234.322239","volume":"28","author":"W. Lipski","year":"1981","unstructured":"W. Lipski: \u201cOn Databases with Incomplete Information\u201d Journal of the ACM Vol. 28, No. 1, 1981, pp. 41\u201370.","journal-title":"Journal of the ACM"},{"issue":"No.1","key":"9_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/77643.77644","volume":"15","author":"K-C Liu","year":"1990","unstructured":"K-C Liu and R.Sunderraman: \u201cIndefinite and Maybe Information in Relational Databases\u201d ACM Transactions on Database Systems Vol. 15, No. 1, March 1990, pp. 1\u201339.","journal-title":"ACM Transactions on Database Systems"},{"issue":"No.2","key":"9_CR21","doi-asserted-by":"crossref","first-page":"159","DOI":"10.1145\/96105.96113","volume":"8","author":"J.M. Morrissey","year":"1990","unstructured":"J.M. Morrissey: \u201cImprecise Information and Uncertainty in Information Systems\u201d, ACM Transactions on Information Systems, Vol. 8, No. 2, April 1990, pp. 159\u2013180.","journal-title":"ACM Transactions on Information Systems"},{"issue":"No.1","key":"9_CR22","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1145\/348.318586","volume":"9","author":"J. Nievergelt","year":"1984","unstructured":"J.Nievergelt, H.Hinterberger, and K.C.Sevcik: \u201cThe Grid File: An Adaptable, Symmetric, Multikey File Structure\u201d, ACM Transactions on Database Systems, Vol. 9, No. 1, March 1984, pp. 38\u201371.","journal-title":"ACM Transactions on Database Systems"},{"key":"9_CR23","unstructured":"Simon L. Peyton-Jones: \u201cThe Implementation of Functional Programming Languages\u201d Prentice Hall, 1987."},{"issue":"No.1","key":"9_CR24","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1016\/0306-4379(84)90014-0","volume":"9","author":"H. Prade","year":"1984","unstructured":"H.Prade: \u201cLipski's approach to incomplete information databases restated and generalized in the setting of Zadeh's possibility theory\u201d, Information Systems, Vol. 9, No. 1, 1984, pp. 27\u201342.","journal-title":"Information Systems"},{"key":"9_CR25","unstructured":"A. Poulovassilis: \u201cFDL: An integration of the Functional Data Model and the Functional Computational Model\u201d, Proc. 6th British National Conference on Databases, 1988, pp. 215\u2013236."},{"key":"9_CR26","doi-asserted-by":"crossref","unstructured":"A. Poulovassilis and P.King: \u201cExtending The Functional Data Model To Computational Completeness\u201d, in Advances in Database Technology \u2014 EDBT'90, 1990, pp. 75\u201391.","DOI":"10.1007\/BFb0022165"},{"key":"9_CR27","unstructured":"A.Poulovassilis and C.Small: \u201cA Functional Programming Approach to Deductive Databases\u201d Proc. VLDB 17, 1991, pp. 491\u2013500."},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"A. Poulovassilis: \u201cThe Implementation of FDL, a Functional Database Language\u201d The Computer Journal Vol 35, April 1992.","DOI":"10.1093\/comjnl\/35.2.119"},{"key":"9_CR29","doi-asserted-by":"crossref","unstructured":"R. Reiter: \u201cTowards a Logical Reconstruction of Relational Database Theory\u201d in On Conceptual Modeling (Eds. M.Brodie, J.Mylopoulos, J.W.Schmidt), Springer-Verlag, 1984.","DOI":"10.1007\/978-1-4612-5196-5_8"},{"issue":"No.2","key":"9_CR30","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1145\/5383.5388","volume":"33","author":"R. Reiter","year":"1986","unstructured":"R.Reiter: \u201cA Sound and Sometimes Complete Query Evaluation Algorithm for Relational Databases with Null Values\u201d Journal of the ACM, Vol. 33, No. 2, April 1986, pp. 349\u2013370.","journal-title":"Journal of the ACM"},{"key":"9_CR31","unstructured":"D.R.Sutton and P.J.H.King: \u201cFudal: a functional database language based on modal logic\u201d, to appear in Proc. Congres Inforsid 92, 1992."},{"key":"9_CR32","doi-asserted-by":"crossref","unstructured":"Y.Vassiliou: \u201cNull Values in Data Base Management. A Denotational Semantics Approach.\u201d Proc. ACM SIGMOD, Boston 1979, pp. 162\u2013169.","DOI":"10.1145\/582095.582123"},{"key":"9_CR33","unstructured":"Y.Vassiliou: \u201cFunctional Dependencies and Incomplete Information\u201d Proc. 6th International Conference on Very Large Databases, 1980, pp. 260\u2013269."},{"key":"9_CR34","unstructured":"G.M.A. Verheijen and J. Van Bekkum: \u201cNIAM An Information Analysis Method\u201d in Information Systems Design Methodologies: A Comparative Review, T.W.Olle et al. (eds.), North Holland, 1982."},{"issue":"No.3","key":"9_CR35","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1145\/126482.126487","volume":"20","author":"K. Yue","year":"1991","unstructured":"K-b Yue: \u201cA More General Model For Handling Missing Information In Relational Databases Using A 3-Valued Logic\u201d SIGMOD RECORD, Vol. 20, No. 3, September 1991, pp. 43\u201349.","journal-title":"SIGMOD RECORD"}],"container-title":["Lecture Notes in Computer Science","Advanced Database Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55693-1_37.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:01:21Z","timestamp":1605646881000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55693-1_37"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540556930","9783540472728"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/3-540-55693-1_37","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}