{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:38Z","timestamp":1725455738295},"publisher-location":"Berlin\/Heidelberg","reference-count":24,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582177"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0024390","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T01:14:13Z","timestamp":1132362853000},"page":"492-507","source":"Crossref","is-referenced-by-count":5,"title":["Towards a unifying logic formalism for semantic data models"],"prefix":"10.1007","author":[{"given":"Jaroslaw A.","family":"Chudziak","sequence":"first","affiliation":[]},{"given":"Henryk","family":"Rybinski","sequence":"additional","affiliation":[]},{"given":"James","family":"Vorbach","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"39_CR1","unstructured":"S. Abiteboul and R Hull. IFO: A formal semantic database model. ACM TODS, 12(4), (1987)."},{"key":"39_CR2","unstructured":"Kim B. Bruce, Peter Wegner, An algebraic Model of Subtype and Inheritance\u201d, in: Advances in Database Programming Languages, ACM Press, (1990)."},{"issue":"1","key":"39_CR3","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/320434.320440","volume":"1","author":"P. Chen","year":"1976","unstructured":"P. Chen. The entity-relationship model \u2014 toward a unified view of data. ACM TODS, 1(1) 9\u201336 (1976).","journal-title":"ACM TODS"},{"key":"39_CR4","doi-asserted-by":"crossref","unstructured":"W. Chen, declarative specification and evaluation of database updates, Proc. 2nd Int'l Conf. DOOD'91, 1991.","DOI":"10.1007\/3-540-55015-1_8"},{"key":"39_CR5","unstructured":"J. Chudziak, H. Rybinski, and J. Vorbach. On Mapping Semantic Data Model Schemata into First_Order Logic, ICS Research Report Warsaw University of Technology, 13\/93."},{"key":"39_CR6","unstructured":"J. Chudziak, J. Vorbach, SDM-CASE: A Prototype of Semantic Database Design and Analyze System, in preparation."},{"key":"39_CR7","doi-asserted-by":"crossref","unstructured":"T.Halpin, A Fact Oriented Approach to Schema Transformation, MFDBS'91, 342\u2013356 (1991).","DOI":"10.1007\/3-540-54009-1_24"},{"issue":"4","key":"39_CR8","doi-asserted-by":"publisher","first-page":"518","DOI":"10.1145\/828.832","volume":"31","author":"R. Hull","year":"1984","unstructured":"R. Hull and Ch.K. Yap, The Format Model: A Theory of Database Organization, JACM 31(4), 518\u2013537 (1984).","journal-title":"JACM"},{"key":"39_CR9","unstructured":"R. Hull and R. King. Semantic database modeling: survey, application, and research issues, ACM Comp. Surveys, 19 (3), (1988)"},{"key":"39_CR10","doi-asserted-by":"crossref","unstructured":"The problem of equivalence for Entity-Relationship Diagrams, IEEE Trans. on Software Engineering, 9(5), (1983).","DOI":"10.1109\/TSE.1983.235262"},{"key":"39_CR11","doi-asserted-by":"crossref","unstructured":"W. Kent. The breakdown of the Information Model in MDBSs, ACM SIGMOD RECORD, 20(4), (1991).","DOI":"10.1145\/141356.141358"},{"key":"39_CR12","doi-asserted-by":"crossref","unstructured":"M. Kifer and G Lausen. F-Logic: a higher-order language for reasoning about objects, inheritance, and scheme. Proc. of the 8th ACM-SIGMOD Int'l Conf. on Management of Data, 134\u2013146 (1989).","DOI":"10.1145\/67544.66939"},{"key":"39_CR13","doi-asserted-by":"crossref","unstructured":"W. Kim and J. Seo. Classifying schematic and data heterogreneity in multidatabase systems. Computer, 24(12), (1991).","DOI":"10.1109\/2.116884"},{"key":"39_CR14","doi-asserted-by":"crossref","unstructured":"R. Krishnamurthy, W. Litwin, and W. Kent. Language Features for Interoperability of Databases with Schematic Discrepancies. Proc. of the 10th ACM-SIGMOD Int'l Conf. on Management of Data, 40\u201349 (1991).","DOI":"10.1145\/115790.115795"},{"key":"39_CR15","unstructured":"D. Maier. O-Logic: a logic for objects, Workshop on Foundations of Deductive Databases and Logic Programming, D.C., 1986"},{"issue":"3","key":"39_CR16","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/62061.62062","volume":"20","author":"J. Peckham","year":"1988","unstructured":"J. Peckham and F. Maryanski. Semantic data models. ACM Computing Surveys. 20(3), 153\u2013189 (1988).","journal-title":"ACM Computing Surveys"},{"key":"39_CR17","volume-title":"The Mathematics of Metamathematics","author":"H. Rasiowa","year":"1963","unstructured":"H. Rasiowa, R. Sikorski. The Mathematics of Metamathematics, Polish Scientific Publishers, Warsaw, (1963)"},{"issue":"3","key":"39_CR18","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1145\/27629.27630","volume":"12","author":"H. Rybinski","year":"1987","unstructured":"H. Rybinski. On first order logic databases, ACM TODS 12(3), 325\u2013349 (1987).","journal-title":"ACM TODS"},{"key":"39_CR19","unstructured":"H. Rybinski and J. Vorbach. A logic approach to equivalence among semantic data model schemata, ICS Research Report Warsaw University of Technology, 7\/93"},{"key":"39_CR20","doi-asserted-by":"crossref","unstructured":"D. Shipman. The functional data model and the data language DAPLEX. ACM TODS 6(1), (1981).","DOI":"10.1145\/319540.319561"},{"issue":"3","key":"39_CR21","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1145\/96602.96604","volume":"22","author":"A. Sheith","year":"1990","unstructured":"A. Sheith and J. Larson. Federated database systems for managing distributed, heterogenous, and automous databases. ACM Computing Surveys, 22(3), 183\u2013236 (1990).","journal-title":"ACM Computing Surveys"},{"key":"39_CR22","doi-asserted-by":"crossref","unstructured":"D. Smith and J. Smith. Database abstractions: aggregation and generalization. ACM TODS 2(2), (1977).","DOI":"10.1145\/320544.320546"},{"key":"39_CR23","unstructured":"J. Vorbach. A graph theoretic approach for deriving meta-level information from schemata, Proc. of GWS Conf. on Intelligent Systems (1992)"},{"key":"39_CR24","unstructured":"Proc.of the ER'93 Conference (1993)."}],"container-title":["Lecture Notes in Computer Science","Entity-Relationship Approach \u2014 ER '93"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0024390.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:52:40Z","timestamp":1607532760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0024390"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582177"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0024390","relation":{},"subject":[]}}