乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,6,2]],"date-time":"2024-06-02T16:50:30Z","timestamp":1717347030941},"reference-count":45,"publisher":"Elsevier BV","issue":"1-3","license":[{"start":{"date-parts":[[2007,12,1]],"date-time":"2007-12-01T00:00:00Z","timestamp":1196467200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,8,22]],"date-time":"2013-08-22T00:00:00Z","timestamp":1377129600000},"content-version":"vor","delay-in-days":2091,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Theoretical Computer Science"],"published-print":{"date-parts":[[2007,12]]},"DOI":"10.1016\/j.tcs.2007.06.004","type":"journal-article","created":{"date-parts":[[2007,7,2]],"date-time":"2007-07-02T12:59:26Z","timestamp":1183381166000},"page":"109-129","source":"Crossref","is-referenced-by-count":14,"title":["Fibrations and universal view updatability"],"prefix":"10.1016","volume":"388","author":[{"given":"Michael","family":"Johnson","sequence":"first","affiliation":[]},{"given":"Robert","family":"Rosebrugh","sequence":"additional","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/j.tcs.2007.06.004_b1","doi-asserted-by":"crossref","first-page":"95","DOI":"10.5109\/13349","article-title":"An abstract relational model and natural join functors","volume":"20","author":"Akihiko","year":"1983","journal-title":"Bull. Inform. Cybernet."},{"key":"10.1016\/j.tcs.2007.06.004_b2","doi-asserted-by":"crossref","first-page":"718","DOI":"10.1145\/146931.146936","article-title":"Updating relational databases through weak instance interfaces","volume":"17","author":"Atzeni","year":"1992","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b3","doi-asserted-by":"crossref","first-page":"147","DOI":"10.1017\/S0960129500000426","article-title":"A categorical approach to database semantics","volume":"4","author":"Baclawski","year":"1994","journal-title":"Math. Struct. Comput. Sci."},{"key":"10.1016\/j.tcs.2007.06.004_b4","doi-asserted-by":"crossref","first-page":"557","DOI":"10.1145\/319628.319634","article-title":"Update semantics of relational views","volume":"6","author":"Bancilhon","year":"1981","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b5","series-title":"Category Theory for Computing Science","author":"Barr","year":"1995"},{"key":"10.1016\/j.tcs.2007.06.004_b6","series-title":"Toposes, Triples and Theories","volume":"vol. 278","author":"Barr","year":"1985"},{"key":"10.1016\/j.tcs.2007.06.004_b7","doi-asserted-by":"crossref","unstructured":"A. Bohannon, B. Pierce, J. Vaughan, Relational lenses: A language for updatable views, in: Proceedings of ACM PODS-2006, 2006","DOI":"10.1145\/1142351.1142399"},{"key":"10.1016\/j.tcs.2007.06.004_b8","series-title":"Handbook of Categorical Algebra 3","author":"Borceux","year":"1994"},{"key":"10.1016\/j.tcs.2007.06.004_b9","doi-asserted-by":"crossref","unstructured":"P. Buneman, S. Khanna, W. Tan, On propagation of deletions and annotations through views, in: Proceedings of ACM PODS-2002, 2002, pp. 150\u2013158","DOI":"10.1145\/543631.543633"},{"key":"10.1016\/j.tcs.2007.06.004_b10","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/320434.320440","article-title":"The entity\u2013relationship model\u2014Toward a unified view of data","volume":"2","author":"Chen","year":"1976","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b11","unstructured":"C.N.G. Dampney, Michael Johnson, TIME compliant corporate data model validation, Consultants\u2019 Report to Telecom, Australia, 1991"},{"key":"10.1016\/j.tcs.2007.06.004_b12","unstructured":"C.N.G. Dampney, Michael Johnson, Fibrations and the DoH data model, Consultants\u2019 Report to NSW Department of Health, 1999"},{"key":"10.1016\/j.tcs.2007.06.004_b13","unstructured":"C.N.G. Dampney, Michael Johnson, A formal method for enterprise interoperability: A case study in a major health informatics information system, in: Proceedings of the Thirteenth International Conference on Software and Systems Engineering, CNAM Paris, vol 3, 12\u20135, 2000, pp. 1\u20136"},{"key":"10.1016\/j.tcs.2007.06.004_b14","unstructured":"C.N.G. Dampney, Michael Johnson, G.M. McGrath, Audit and enhancement of the caltex information strategy planning (CISP) project, Consultants\u2019 Report to Caltex Oil, Australia, 1994"},{"key":"10.1016\/j.tcs.2007.06.004_b15","series-title":"Proceedings of the Twelfth Australasian Database Conference ADC2001","first-page":"29","article-title":"View updates in a semantic data model paradigm","author":"Dampney","year":"2001"},{"key":"10.1016\/j.tcs.2007.06.004_b16","series-title":"Introduction to Database Systems","author":"Date","year":"2004"},{"key":"10.1016\/j.tcs.2007.06.004_b17","doi-asserted-by":"crossref","first-page":"381","DOI":"10.1145\/319732.319740","article-title":"On the correct translation of update operations on relational views","volume":"7","author":"Dayal","year":"1982","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b18","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S0169-023X(03)00047-8","article-title":"Variable set semantics for keyed generalised sketches: Formal semantics for object identity and abstract syntax for conceptual modeling","volume":"47","author":"Diskin","year":"2003","journal-title":"Data and Knowledge Engineering"},{"key":"10.1016\/j.tcs.2007.06.004_b19","series-title":"Fundamentals of Algebraic Specifications","author":"Ehrig","year":"1985"},{"issue":"3","key":"10.1016\/j.tcs.2007.06.004_b20","article-title":"Combinators for bidirectional tree transformations: A linguistic approach to the view-update problem","volume":"29","author":"Nathan Foster","year":"2007","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b21","doi-asserted-by":"crossref","first-page":"486","DOI":"10.1145\/49346.50068","article-title":"Properties and update semantics of consistent views","volume":"13","author":"Gottlob","year":"1988","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b22","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1023\/A:1026158013113","article-title":"An order-based theory of updates for closed database views","volume":"40","author":"Hegner","year":"2004","journal-title":"Ann. Math. Artificial Intelligence"},{"key":"10.1016\/j.tcs.2007.06.004_b23","series-title":"Proceedings of the TACS94","first-page":"618","article-title":"Categorical models of relational databases I: Fibrational formulation, schema integration","volume":"vol. 789","author":"Islam","year":"1994"},{"key":"10.1016\/j.tcs.2007.06.004_b24","doi-asserted-by":"crossref","unstructured":"Michael Johnson, C.N.G. Dampney, On the value of commutative diagrams in information modelling, in: Algebraic Methodology and Software Technology (Springer Workshops in Computing), 1994","DOI":"10.1007\/978-1-4471-3227-1_5"},{"key":"10.1016\/j.tcs.2007.06.004_b25","doi-asserted-by":"crossref","first-page":"97","DOI":"10.1504\/IJCAT.2003.000316","article-title":"Database interoperability through state based logical data independence","volume":"16","author":"Johnson","year":"2003","journal-title":"Int. J. Comput. Appl. Technol."},{"key":"10.1016\/j.tcs.2007.06.004_b26","unstructured":"Michael Johnson, R. Rosebrugh, Coproducts in categorical information system specification, in: Proceedings of SCI 2001, vol. XIV, July 2001, pp. 145\u2013150"},{"key":"10.1016\/j.tcs.2007.06.004_b27","series-title":"Proceedings of CSCWD 2001, the Sixth International Conference on Computer Supported Cooperative Work in Design","first-page":"367","article-title":"Update algorithms for the sketch data model","author":"Johnson","year":"2001"},{"key":"10.1016\/j.tcs.2007.06.004_b28","series-title":"Proceedings of Formal Methods Europe 2001","first-page":"534","article-title":"View updatability based on the models of a formal specification","volume":"vol. 2021","author":"Johnson","year":"2001"},{"issue":"6","key":"10.1016\/j.tcs.2007.06.004_b29","first-page":"1","article-title":"Sketch data models, relational schema and data specifications","volume":"61","author":"Johnson","year":"2002","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.tcs.2007.06.004_b30","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/S1571-0661(04)81007-7","article-title":"Three approaches to partiality in the sketch data model","volume":"78","author":"Johnson","year":"2003","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"10.1016\/j.tcs.2007.06.004_b31","unstructured":"Michael Johnson, R. Rosebrugh, Complements and universal view updates (in preparation)"},{"key":"10.1016\/j.tcs.2007.06.004_b32","first-page":"94","article-title":"Entity\u2013relationship\u2013attribute designs and sketches","volume":"10","author":"Johnson","year":"2002","journal-title":"Theory Appl. Categories"},{"key":"10.1016\/j.tcs.2007.06.004_b33","doi-asserted-by":"crossref","unstructured":"J. Lechtenb\u00f6rger, The impact of the constant complement approach towards view updating, in: Proceedings of ACM PODS-2003, 2003, pp. 49\u201355","DOI":"10.1145\/773153.773159"},{"key":"10.1016\/j.tcs.2007.06.004_b34","unstructured":"C. Lecluse, N. Spyratos, Implementing queries and updates on universal scheme interfaces, in: Proceedings of VLDB, 1988, pp. 62\u201375"},{"key":"10.1016\/j.tcs.2007.06.004_b35","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1051\/ita\/1996300100311","article-title":"A category theoretical approach to conceptual data modelling","volume":"30","author":"Lippe","year":"1996","journal-title":"RAIRO Theoret. Inform. Appl."},{"key":"10.1016\/j.tcs.2007.06.004_b36","series-title":"Basic Category Theory for Computer Scientists","author":"Pierce","year":"1991"},{"key":"10.1016\/j.tcs.2007.06.004_b37","first-page":"156","article-title":"Categorical data specifications","volume":"1","author":"Piessens","year":"1995","journal-title":"Theory Appl. Categories"},{"key":"10.1016\/j.tcs.2007.06.004_b38","series-title":"Proceedings of the 6th International AMAST","first-page":"424","article-title":"Selective attribute elimination for categorical data specifications","volume":"vol. 1349","author":"Piessens","year":"1997"},{"key":"10.1016\/j.tcs.2007.06.004_b39","unstructured":"R. Rosebrugh, R. Fletcher, V. Ranieri, K. Green, EASIK: An EA-Sketch implementation kit. Available from: http:\/\/www.mta.ca\/~rrosebru"},{"key":"10.1016\/j.tcs.2007.06.004_b40","series-title":"Proceedings of the International Category Theory Meeting 1991","first-page":"391","article-title":"Relational databases and indexed categories","volume":"vol. 13","author":"Rosebrugh","year":"1992"},{"key":"10.1016\/j.tcs.2007.06.004_b41","doi-asserted-by":"crossref","first-page":"140","DOI":"10.1145\/319540.319561","article-title":"The functional data model and the data language DAPLEX","volume":"6","author":"Shipman","year":"1981","journal-title":"ACM Trans. Database Syst."},{"key":"10.1016\/j.tcs.2007.06.004_b42","first-page":"111","article-title":"Fibrations in bicategories","volume":"XXI","author":"Street","year":"1980","journal-title":"Cah. Topol. G\u00e9om. Diff\u00e9r."},{"key":"10.1016\/j.tcs.2007.06.004_b43","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1016\/0304-3975(95)00089-5","article-title":"CGOOD, a categorical graph-oriented object data model","volume":"160","author":"Tuijn","year":"1996","journal-title":"Theoret. Comput. Sci."},{"key":"10.1016\/j.tcs.2007.06.004_b44","series-title":"A First Course in Database Systems","author":"Ullman","year":"2002"},{"key":"10.1016\/j.tcs.2007.06.004_b45","series-title":"Categories and Computer Science","author":"Walters","year":"1991"}],"container-title":["Theoretical Computer Science"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507004835?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0304397507004835?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,8,16]],"date-time":"2021-08-16T12:11:22Z","timestamp":1629115882000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0304397507004835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,12]]},"references-count":45,"journal-issue":{"issue":"1-3","published-print":{"date-parts":[[2007,12]]}},"alternative-id":["S0304397507004835"],"URL":"https:\/\/doi.org\/10.1016\/j.tcs.2007.06.004","relation":{},"ISSN":["0304-3975"],"issn-type":[{"value":"0304-3975","type":"print"}],"subject":[],"published":{"date-parts":[[2007,12]]}}}