{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T18:32:45Z","timestamp":1674585165087},"reference-count":88,"publisher":"Elsevier BV","issue":"6","license":[{"start":{"date-parts":[[1980,1,1]],"date-time":"1980-01-01T00:00:00Z","timestamp":315532800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Information & Management"],"published-print":{"date-parts":[[1980]]},"DOI":"10.1016\/0378-7206(80)90035-x","type":"journal-article","created":{"date-parts":[[2002,9,17]],"date-time":"2002-09-17T17:02:53Z","timestamp":1032282173000},"page":"245-258","source":"Crossref","is-referenced-by-count":28,"title":["Data quality in information systems"],"prefix":"10.1016","volume":"3","author":[{"given":"Michael L.","family":"Brodie","sequence":"first","affiliation":[]}],"member":"78","reference":[{"key":"10.1016\/0378-7206(80)90035-X_BIB1","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/320455.320457","article-title":"System R: relational approach to database management","volume":"1","author":"Astrahan","year":"1976","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB2","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","article-title":"Cost and performance analysis of semantic integrity validation methods","author":"Badal","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB3","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"A sophisticate's introduction to database normalization theory","author":"Beeri","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/320064.320066","article-title":"Computational problems related to the design of normal form relational schemas","volume":"4","author":"Beeri","year":"1979","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB5","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/320493.320489","article-title":"Synthesizing third normal form relations from functional dependencies","volume":"1","author":"Bernstein","year":"1976","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB6","series-title":"The British Computer Society Data Dictionary Systems working Party Report","first-page":"4","volume":"9","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB7","series-title":"Ph.D. diss.","article-title":"Specification and verification of database semantic integrity","author":"Brodie","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB8","series-title":"IFSM TR No. 37","article-title":"Data types and databases","author":"Brodie","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB9","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1016\/0306-4379(80)90075-7","article-title":"The application of data types to databases. Semantic integrity","volume":"5","author":"Brodie","year":"1980","journal-title":"Information Systems"},{"key":"10.1016\/0378-7206(80)90035-X_BIB10","series-title":"IFSM TR No. 41","article-title":"Axiomatic definitions of data model semantics","author":"Brodie","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB11","series-title":"Proc. An ACM Conf. on Language Design for Reliable Softwate","first-page":"3","article-title":"What is the use of abstract data types?","volume":"12","author":"Brodie","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB12","article-title":"Data models and their semantics","author":"Bubenko","year":"1979","journal-title":"INFOTECH STATE-OF- THE-ART Report on data design"},{"key":"10.1016\/0378-7206(80)90035-X_BIB13","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","article-title":"FQL \u2014 A functional query language","author":"Buneman","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB14","author":"CODASYL Data Description Language Committee","year":"1978","journal-title":"Hournal of Development"},{"key":"10.1016\/0378-7206(80)90035-X_BIB15","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356619.356621","article-title":"Evolution of business systems analysis","volume":"5","author":"Couger","year":"1973","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB16","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/390017.808314","article-title":"Static determination of dynamic properties of generalized type unions","volume":"12","author":"Cousot","year":"1977","journal-title":"SIGPLAN Notices"},{"key":"10.1016\/0378-7206(80)90035-X_BIB17","series-title":"APIC Studies in Data Processing No. 8: Structured Programming","author":"Dahl","year":"1972"},{"key":"10.1016\/0378-7206(80)90035-X_BIB18","unstructured":"Data Base Design Aid: Designer's Guide IBM No. GH20-1627."},{"key":"10.1016\/0378-7206(80)90035-X_BIB19","unstructured":"Data Management System (DMS 1100) Schema Definition. Univac No. UP-7907."},{"key":"10.1016\/0378-7206(80)90035-X_BIB20","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"On the updatability of relational views","author":"Dayal","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB21","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/359104.359106","article-title":"Social Processes and proofs of theorems and programs","volume":"22","author":"De Millo","year":"1979","journal-title":"Comm. ACM"},{"key":"10.1016\/0378-7206(80)90035-X_BIB22","series-title":"Proc. An ACM Conf. on Language Design for Reliable Software","first-page":"3","article-title":"Algebraic specification schemas for data base systems, in [43].","volume":"12","author":"Ehrig","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB23","first-page":"3","article-title":"Data flow analysis in software reliability","volume":"8","author":"Fosdick","year":"1975","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB24","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/356662.356664","article-title":"Evolution of database management systems","volume":"8","author":"Fry","year":"1976","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB25","series-title":"Structured Systems Analysis: tools and techniques","author":"Gane","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB26","series-title":"Program verification in the 1980's: Problems, perspectives, and opportunities","author":"Gerhart","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB27","series-title":"Prov. NYU Symposium on Database Design","article-title":"Steps towards the automation of database design","author":"Gerritsen","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB28","series-title":"Proc. Specifications of Reliable Software","article-title":"Notes on Type abstraction","author":"Guttag","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB29","series-title":"Proc. 2nd Int'l. Conf. on Software Engineering, San Francisco, CA","article-title":"A framework for data base semantic integrity","author":"Hammer","year":"1976"},{"key":"10.1016\/0378-7206(80)90035-X_BIB30","series-title":"Proc. ACM-SIGMOD 1978 Int'l. Conf. on Management of Data","article-title":"Efficient monitoring of database assertions","author":"Hammer","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB31","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/356674.356677","article-title":"An introduction to proving the correctness of programs","volume":"8","author":"Hantler","year":"1976","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB32_1","series-title":"Proc. 1975 Int'l. Conf. on Reliable Software","first-page":"6","article-title":"Data reliability","volume":"10","author":"Hoare","year":"1975"},{"key":"10.1016\/0378-7206(80)90035-X_BIB32_2","series-title":"Current Trends in Programming Methodology","article-title":"Data reliability","volume":"Vol. IV","author":"Hoare","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB33","series-title":"Principles of Program Design","author":"Jackson","year":"1975"},{"key":"10.1016\/0378-7206(80)90035-X_BIB34","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/320064.320070","article-title":"Limitations of record-based information models","volume":"4","author":"Kent","year":"1979","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB35","first-page":"2","article-title":"Report on the programming language","volume":"12","author":"Lampson","year":"1977","journal-title":"EUCLID. SIGPLAN Notices"},{"key":"10.1016\/0378-7206(80)90035-X_BIB36","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0306-4379(77)90009-6","article-title":"Information systems theory","volume":"2","author":"Langefors","year":"1977","journal-title":"Information Systems"},{"key":"10.1016\/0378-7206(80)90035-X_BIB37_1","first-page":"1","article-title":"Specification techniques for data abstractions","volume":"1","author":"Liskov","year":"1975","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0378-7206(80)90035-X_BIB37_2","series-title":"Current Trends in Programming Methodology","volume":"Vol. I","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB38","first-page":"8","article-title":"Abstraction mechanisms","volume":"20","author":"Liskov","year":"1977","journal-title":"CLU. Comm. ACM"},{"key":"10.1016\/0378-7206(80)90035-X_BIB39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/320064.320067","article-title":"Data abstractions for database systems","volume":"4","author":"Lockemann","year":"1979","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB40","unstructured":"D. Maier, A. Mendelson and T. Sagiv, Testing implications of data dependencies, to appear ACM TODS."},{"key":"10.1016\/0378-7206(80)90035-X_BIB41","unstructured":"M.E. Majster, Data types, abstract data types, and their specification problem, to appear in Theoretical Computer Science."},{"key":"10.1016\/0378-7206(80)90035-X_BIB42","series-title":"High level domain definition in a relational database system","volume":"Vol. II","author":"McLed","year":"1976"},{"key":"10.1016\/0378-7206(80)90035-X_BIB43","series-title":"Proc. An ACM Conf. on Language Design for Reliable Software","first-page":"3","article-title":"Software Reliability: the role of programmed exception handling","volume":"12","author":"Melliar-Smith","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB44","article-title":"Tutorial on System-Specifications","author":"Melliar-Smith","year":"1979","journal-title":"IEEE Computer Society"},{"key":"10.1016\/0378-7206(80)90035-X_BIB45","series-title":"TR-723","article-title":"Consistency and integrity in databases","author":"Minker","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB46","series-title":"Prov. NYU Symposium on Database Design","article-title":"Practicalities in applying a formal methodology to data analysis","author":"Palmer","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB47","first-page":"5","article-title":"A technique for software module specification with examples","volume":"15","author":"Parnas","year":"1970","journal-title":"Comm. ACM"},{"key":"10.1016\/0378-7206(80)90035-X_BIB48_1","series-title":"Proc. 1975 Int'l. Conf. on Reliable Software","first-page":"6","article-title":"The influence of software structure on reliability","volume":"10","author":"Parnas","year":"1975"},{"key":"10.1016\/0378-7206(80)90035-X_BIB48_2","series-title":"Current Trends in Programming Methodology","volume":"Vol. IV","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB49","series-title":"Proc. 1975 Int'l. Conf. on Reliable Software","first-page":"6","volume":"10","year":"1975"},{"key":"10.1016\/0378-7206(80)90035-X_BIB50","series-title":"Proc. 2nd Int'l. Conf. on Software Engineering, San Francisco, CA","year":"1976"},{"key":"10.1016\/0378-7206(80)90035-X_BIB51","series-title":"Proc. Specifications of Reliable Software, IEEE Computer Society","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB52","series-title":"Prov. NYU Symposium on Database Design","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB53","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB54","article-title":"Software requirements and specifications: status and perspectives","author":"Ramamoorthy","year":"1978","journal-title":"IEEE Computer Society"},{"key":"10.1016\/0378-7206(80)90035-X_BIB55","series-title":"Tutorial: Software methodology","author":"Ramamoorthy","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB56","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/356725.356729","article-title":"Reliability issues in computing system design","volume":"10","author":"Randell","year":"1978","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB57","first-page":"1","article-title":"Structured Analysis (SA): A language for communicating ideas","volume":"3","author":"Ross","year":"1977","journal-title":"IEEE Trans. on Software Engineering"},{"key":"10.1016\/0378-7206(80)90035-X_BIB58","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","article-title":"Data abstractions, views and updates in RIGEL","author":"Rowe","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB59","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1145\/320557.320568","article-title":"Some high level language constructs for data of type relation","volume":"2","author":"Schmidt","year":"1977","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB60","series-title":"Database: Improving Usability and Responsiveness","article-title":"Type concepts for database defintion","author":"Schmidt","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB61","doi-asserted-by":"crossref","first-page":"8","DOI":"10.1145\/359763.359782","article-title":"Abstraction and verification in ALPHARD","volume":"20","author":"Shaw","year":"1977","journal-title":"Comm. ACM"},{"key":"10.1016\/0378-7206(80)90035-X_BIB62","unstructured":"D. Shipman, The functional data model and the data language DAPLEX, to appear in ACM TODS."},{"key":"10.1016\/0378-7206(80)90035-X_BIB63","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"Comments on papers \u201cA software engineering view of database management\u201d by A.I. Wasserman and \u201cA software engineering view of database systems\u201d by H. Weber","author":"Smith","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB64","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/320544.320546","article-title":"Database Abstractions: Aggregation and generalization","volume":"2","author":"Smith","year":"1977","journal-title":"ACM TODS"},{"key":"10.1016\/0378-7206(80)90035-X_BIB65","article-title":"A database approach to software specification","author":"Smith","year":"1979","journal-title":"Computer Corp. of America CCA-79-17"},{"key":"10.1016\/0378-7206(80)90035-X_BIB66","doi-asserted-by":"crossref","unstructured":"M.Stonebraker, Implementation of integrity constraints and views by query modification. Proc. ACM-SIGMOD 1975 Int'l. Conf. on Management of Data.","DOI":"10.1145\/500080.500091"},{"key":"10.1016\/0378-7206(80)90035-X_BIB67","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"Data base design in theory and practice: Towards an integrated methodology","author":"Sungren","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB68","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1145\/356707.356710","article-title":"A survey of information requirements analysis techniques","volume":"9","author":"Taggart","year":"1977","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB69","series-title":"The ANSI\/X3\/SPARC DBMS Framework","first-page":"4","volume":"3","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB70","unstructured":"J.D. Ullman, Theory of Relational Databases, forthcoming book."},{"key":"10.1016\/0378-7206(80)90035-X_BIB71","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","article-title":"Null values in database management: a denotational semantics approach","author":"Vassiliou","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB72","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1145\/356725.356730","article-title":"Recovery techniques for database systems","volume":"10","author":"Verhofstad","year":"1978","journal-title":"ACM Computing Surveys"},{"key":"10.1016\/0378-7206(80)90035-X_BIB73","series-title":"Logical Construction of Programs","author":"Warnier","year":"1974"},{"key":"10.1016\/0378-7206(80)90035-X_BIB74","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"A software engineering view of database management","author":"Wasserman","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB75","series-title":"Proc. ACM-SIGMOD 1980 Int'l. Conf. on Management of Data","article-title":"The data management facilities of PLAIN","author":"Wasserman","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB76","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","article-title":"A software engineering view of database systems","author":"Weber","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB77","series-title":"Database design","author":"Widerhold","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB78","series-title":"Proc. An ACM Conf. on Language Design for Reliable Software","first-page":"3","volume":"12","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB79","series-title":"Proc. 4th Int'l. Conf. on Very Large Data Bases","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB80_1","series-title":"Current Trends in Programming Methodology","volume":"Vol. I","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB80_2","series-title":"Current Trends in Programming Methodology","volume":"Vol. II","year":"1977"},{"key":"10.1016\/0378-7206(80)90035-X_BIB80_3","series-title":"Current Trends in Programming Methodology","volume":"Vol. IV","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB81","series-title":"Software and database engineering \u2014 towards a common design methodology","author":"Yeh","year":"1979"},{"key":"10.1016\/0378-7206(80)90035-X_BIB82","series-title":"Structured Design","author":"Yourdon","year":"1978"},{"key":"10.1016\/0378-7206(80)90035-X_BIB83","series-title":"J.D. Principles of Software Engineering and Design","author":"Zelkowitz","year":"1979"}],"container-title":["Information & Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:037872068090035X?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:037872068090035X?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2021,5,27]],"date-time":"2021-05-27T23:37:34Z","timestamp":1622158654000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/037872068090035X"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1980]]},"references-count":88,"journal-issue":{"issue":"6","published-print":{"date-parts":[[1980]]}},"alternative-id":["037872068090035X"],"URL":"http:\/\/dx.doi.org\/10.1016\/0378-7206(80)90035-x","relation":{},"ISSN":["0378-7206"],"issn-type":[{"value":"0378-7206","type":"print"}],"subject":[],"published":{"date-parts":[[1980]]}}}
