Information derivability analysis in logical information systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Information derivability analysis in logical information systems

Full text

Pdf (574 KB)

Source

Communications of the ACM archive
Volume 26 , Issue 11 (November 1983) table of contents

Pages: 933 - 938

Year of Publication: 1983

ISSN:0001-0782

Author

Antoni Olivé

Univ. Politècnica de Barcelona, Barcelona, Spain

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 1, Downloads (12 Months): 16, Citation Count: 2

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/182.358450 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	1	Per Aanstad , Trond Johansen , Geir Skylstad , Arne Sølvberg, An experiment in computer aided information systems development, Proceedings of the 2nd Conference of the European Cooperation on Informatics: Information Systems Methodology, p.249-265, October 10-12, 1978
	2	Catriel Beeri , Philip A. Bernstein, Computational problems related to the design of normal form relational schemas, ACM Transactions on Database Systems (TODS), v.4 n.1, p.30-59, March 1979 [doi>10.1145/320064.320066]
	3	Bell, T.E., Bixler, D.C., and Dryer, M.E. An extendable approach to computer-aided software requirements engineering. IEEE Trans. Softw. Eng. SE-3 ()an. 1977), 60-69.
	4	Bracchi, G., Furtado, A., and Pelagatti, G. Constraint specification in evolutionary data base design. In Formal models and practical tools for information systems design, H.-J. Scheneider (Ed.), North-Holland, Amsterdam, 1979, pp. 149-165.
	5	J. A. Bubenko, Jr. , S. Berild , E. Lindencrona-Ohlin , S. Nachmens, From information requirements to DBTG-data structures, Proceedings of the 1976 conference on Data : Abstraction, definition and structure, p.73-85, March 22-24, 1976, Salt Lake City, Utah, United States
	6	Bubenko, J.A. The temporal dimension in information modeling. In Arquitecture and models in DBMS, G.M. Nijssen (Ed.), North-Holland, Amsterdam, 1976, pp. 93-118.
	7	Janis A. Bubenko Jr, IAM: an inferential abstract modeling approach to design of conceptual schema, Proceedings of the 1977 ACM SIGMOD international conference on Management of data, August 03-05, 1977, Toronto, Ontario, Canada [doi>10.1145/509404.509415]
	8	Robert Bosak , Richard F. Clippinger , Carey Dobbs , Roy Goldfinger , Renee B. Jasper , William Keating , George Kendrick , Jean E. Sammet, An information algebra: phase 1 report—language structure group of the CODASYL development committee, Communications of the ACM, v.5 n.4, p.190-204, April 1962 [doi>10.1145/366920.366935]
	9	E. F. Codd, A relational model of data for large shared data banks, Communications of the ACM, v.13 n.6, p.377-387, June 1970 [doi>10.1145/362384.362685]
	10	Codd, E.F. Further normalization of the data base relational model. In Data Base Systems, R. Rustin (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 33-64.
	11	Codd, E.F. Relational completeness of data base sublanguages. In Data Base Systems, R. Rustin (Ed.), Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 65-98.
	12	Falkenberg, E. Concepts for modeling information. In Modeling in Database Management Systems, G. M. Nijssen (Ed.), North-Holland, Amsterdam, 1976, pp. 95-109.
	13	Hall, P., Owlett, J. and Todd, S. Relation and entities. In Modeling in Database Management Systems, G. M. Nijssen (Ed.), North-Holland, Amsterdam, 1976, pp. 201-220.
	14	Langefors, B. Theoretical analysis of information systems. Studentlitteratur, 4th ed., Sweden, 1973, 489 p.
	15	Langefors, B. Information systems. Proc. IFIP Congress 1741 North- Holland, Amsterdam, 1974, pp. 937-945.
	16	M. Sundburg , G. Goldkuhl, Information Systems Development: A Systematic Approach, Prentice Hall Professional Technical Reference, 1981
	17	Nijssen, G.M. (Ed.) Modeling in Database Management Systems. North-Holland, Amsterdam, 1976.
	18	Nijssen, G.M. A gross architecture for the next generation database management systems. In Modeling in database management systems, G. M. Nijssen (Ed.), North-Hofiand, Amsterdam, 1976, pp. 1-24.
	19	Nils J. Nilsson, Problem-Solving Methods in Artificial Intelligence, McGraw-Hill Pub. Co., 1971
	20	Nunamaker, I. A methodology for the design and optimization of information processing systems. Proc. 1971, IFIPS SJCC, Vol. 18, AF- IPS Press, Montvale, N.J., pp. 283-294.
	21	Oilve, A. Una algebra informacional per al disseny 16gic de sistemes d'informaci6. (in Catalan). Ph. Dd. Th., U. Politecnica de Barcelona, Barcelona, 1978.
	22	Rustin, R. (Ed.) Data Base Systems. Prentice-Hall, Englewood Cliffs, NJ, 1972.
	23	Teichroew, D. Hershey, E., and Bastarache, M. An introduction to PSL/PSA. ISDOS Working Paper 86, Mar. 1974.
	24	Teichroew. D. Improvements in the system life cycle. Proc. IFIP Congres 74, North-Holland, Amsterdam, 1974, pp. 972-978.
	25	Young, J.W., and Kent, H,K. Abstract formulation of data processing problems. The lournal of Industrial Engineering (Nov.-Dec. 1958), pp. 471-479.

CITED BY 2

	C. H. Kung, On verification of database temporal constraints, ACM SIGMOD Record, v.14 n.4, p.169-179, May 1985
	David Chenho Kung, A Temporal Framework for Database Specification and Verification, Proceedings of the 10th International Conference on Very Large Data Bases, p.91-99, August 27-31, 1984