ResearchData quality in information systems☆
References (83)
- D. Shipman, The functional data model and the data language DAPLEX, to appear in ACM...
System R: relational approach to database management
ACM TODS
(June 1976)- et al.
Cost and performance analysis of semantic integrity validation methods
- et al.
A sophisticate's introduction to database normalization theory
- et al.
Computational problems related to the design of normal form relational schemas
ACM TODS
(March 1979) Synthesizing third normal form relations from functional dependencies
ACM TODS
(Dec. 1976)Specification and verification of database semantic integrity
Data types and databases
The application of data types to databases. Semantic integrity
Information Systems
(1980)
Axiomatic definitions of data model semantics
What is the use of abstract data types?
Data models and their semantics
INFOTECH STATE-OF- THE-ART Report on data design
FQL — A functional query language
Hournal of Development
Evolution of business systems analysis
ACM Computing Surveys
Static determination of dynamic properties of generalized type unions
SIGPLAN Notices
APIC Studies in Data Processing No. 8: Structured Programming
On the updatability of relational views
Social Processes and proofs of theorems and programs
Comm. ACM
Algebraic specification schemas for data base systems, in [43].
Data flow analysis in software reliability
ACM Computing Surveys
Evolution of database management systems
ACM Computing Surveys
Structured Systems Analysis: tools and techniques
Program verification in the 1980's: Problems, perspectives, and opportunities
Steps towards the automation of database design
Notes on Type abstraction
A framework for data base semantic integrity
Efficient monitoring of database assertions
An introduction to proving the correctness of programs
ACM Computing Surveys
Data reliability
Data reliability
Principles of Program Design
Limitations of record-based information models
ACM TODS
Report on the programming language
EUCLID. SIGPLAN Notices
Information systems theory
Information Systems
Specification techniques for data abstractions
IEEE Trans. on Software Engineering
Abstraction mechanisms
CLU. Comm. ACM
Data abstractions for database systems
ACM TODS
Cited by (0)
- ☆
This work was supported, in part, by the National Science Foundation under grant number MSC 77-22509.
- ∗
Assistant Professor in the Department of Computer Science and is cross-appointed to the Department of Information Systems Management, both in the University of Maryland at College Park, Maryland, U.S.A. Since 1972, Dr. Brodie has been an active researcher in the areas of database management systems, programming languages, and software engineering. Professor Brodie received his Ph.D. (1978), M.Sc. (1973), and B.Sc.(1972) degrees from the University of Toronto from 1970 to 1978 except for one term in 1976 when he was a Visiting Professor in the Departemento Informatica at the Pontifical Catholic University of Rio de Janeiro. Before taking up his current appointment, Professor Brodie spent two terms as a Visiting Professor in the Fachbereich Informatik at the Universitat Hamburg, West Germany. Dr. Brodie has authored 15 papers on topics in his research area and three papers on social issues in computing. He has presented seminars in North America, Europe, and South America.
Current research activities include: semantic data models, data abstration, semantic integrity, programming languages, database design relational data based, and schema mappings. He is currently the co-chairman, with Dr. J.W. Schmidt of the University of Hamburg, of the ANSI/X3/SPARC-DBSG task group on a relational database standard.
Dr. Brodie has been a consultant to private organizations and to agencies of the government of Ontario, Brasil, and the U.S.A. He is a member of the ACM (Including SIGMOD, SIGSOFT, and SIGPLAN) and of the Canadian Information Processing Society, in which he was a co-founder of the CIPS Computer Ombudsman Program. Dr. Brodie is a referee for the Communications of the ACM's Communications and Transactions on Data Base Systems, the International Journal of Computer and Information Science, International Processing Letters, and the CIPS INFOR Journal.