A Proof Procedure for Data Dependencies

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

A Proof Procedure for Data Dependencies

Full text

Pdf (1.33 MB)

Source

Journal of the ACM (JACM) archive
Volume 31 , Issue 4 (October 1984) table of contents

Pages: 718 - 741

Year of Publication: 1984

ISSN:0004-5411

Authors

Catriel Beeri
Moshe Y. Vardi

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 12, Downloads (12 Months): 110, Citation Count: 53

Additional Information:

references cited by index terms review 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/1634.1636 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	ABITEBOUL, S., AND VARDI, M. Y.Formal systems for untyped data dependencacs, To appear.
	2	A. V. Aho , C. Beeri , J. D. Ullman, The theory of joins in relational databases, ACM Transactions on Database Systems (TODS), v.4 n.3, p.297-314, Sept. 1979 [doi>10.1145/320083.320091]
	3	Av~o, A. V., SAGIV, Y., AND ULLMAN, J. D.Euivalence among relational expressions. SIAM d Comput. 8 ( 1979), 218-246.
	4	ARMSTRONG, W. W.Dependency structure in data base relationships. In Proceedings of lFIP 74, Elsevier North-Holland, New York, 1974, pp. 580-583.
	5	W. W. Armstrong , C. Deobel, Decompositions and functional dependencies in relations, ACM Transactions on Database Systems (TODS), v.5 n.4, p.404-430, Dec. 1980 [doi>10.1145/320610.320620]
	6	Catriel Beeri, On the menbership problem for functional and multivalued dependencies in relational databases, ACM Transactions on Database Systems (TODS), v.5 n.3, p.241-259, Sept. 1980 [doi>10.1145/320613.320614]
	7	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]
	8	BEERI, C., BERNSTEIN, P. A., AND GOODMAN, N. A sophisticate's introduction to database normalization theory. In Proceedings of the 4th lnternattonaI Conference on Very Large Data Bases (West Berlin, Germany, Sept. 13-15). ACM, New York, 1978, pp. 113-124.
	9	Catriel Beeri , Ronald Fagin , John H. Howard, A complete axiomatization for functional and multivalued dependencies in database relations, Proceedings of the 1977 ACM SIGMOD international conference on Management of data, August 03-05, 1977, Toronto, Ontario, Canada [doi>10.1145/509404.509414]
	10	BERRI, C., MENDELZON, A. O., SAGIV, Y., AND ULLMAN, J. D. Eqmvalence of relational database schemes. SIAM Y Comput 10 (1981), 647-656.
	11	BI~ERI, C., AND RISSANEN, J.Fmthful representation of relational database schemes. IBM Res. Rep. IBM, San Jose, 1980.
	12	BEERI, C., AND VARDI, M. Y.On the complexity of testing implication of data dependencies. Res. Pep. Dept. Computer Science, The Hebrew University of jerusalem, Jerusalem, Israel, 1980.
	13	Catriel Beeri , Moshe Y. Vardi, The Implication Problem for Data Dependencies, Proceedings of the 8th Colloquium on Automata, Languages and Programming, p.73-85, July 13-17, 1981
	14	BEERI, C., AND VARDI, M. Y. On the properties of join dependencies. In Advances in Database Theory, H. GaUatre, J. Mmker, and J. M. Nicolas, Eds. Plenum Press, New York, 1981, pp. 25-72.
	15	BEERI, C., AND VARDI, M. Y.Formal system for tuple and equality generating dependencies. SIAM J Comput 13 (1984), 76--98.
	16	Philip A. Bernstein, Synthesizing third normal form relations from functional dependencies, ACM Transactions on Database Systems (TODS), v.1 n.4, p.277-298, Dec. 1976 [doi>10.1145/320493.320489]
	17	BISKUP, J.On the complementation rule for multivalued dependencies in data base relations. Acta lnf 10 (1978), 297-305.
	18	BISKUP, J Inferences of multivalued dependenctes in fixed and undetermined universe. Theor Comput Set 10 (1980), 93-105.
	19	Ashok K. Chandra , Harry R. Lewis , Johann A. Makowsky, Embedded implicational dependencies and their inference problem, Proceedings of the thirteenth annual ACM symposium on Theory of computing, p.342-354, May 11-13, 1981, Milwaukee, Wisconsin, United States [doi>10.1145/800076.802488]
	20	Chin-Liang Chang , Richard C. Lee , Richard Char-Tung Lee, Symbolic Logic and Mechanical Theorem Proving, Academic Press, Inc., Orlando, FL, 1997
	21	CODD, E. F.Further normalization of the data base relatlonal model. In Data Base Systems (R. Rustin, Ed.). Prentice-Hall, Englewood Cliffs, N.J., 1972, pp. 33-64.
	22	Claude Delobel, Normalization and hierarchical dependencies in the relational data model, ACM Transactions on Database Systems (TODS), v.3 n.3, p.201-222, Sept. 1978 [doi>10.1145/320263.320271]
	23	Ronald Fagin, Multivalued dependencies and a new normal form for relational databases, ACM Transactions on Database Systems (TODS), v.2 n.3, p.262-278, Sept. 1977 [doi>10.1145/320557.320571]
	24	Ronald Fagin, A normal form for relational databases that is based on domains and keys, ACM Transactions on Database Systems (TODS), v.6 n.3, p.387-415, Sept. 1981 [doi>10.1145/319587.319592]
	25	Ronald Fagin, Horn clauses and database dependencies, Journal of the ACM (JACM), v.29 n.4, p.952-985, Oct. 1982 [doi>10.1145/322344.322347]
	26	FAGIN, R., MAmR,.D., ULLMAN, J. D., AND YANNAKAKIS, M.Tools for template dependencies. SlAM J. Comput. 12 (1983), 36-59,
	27	GRAHAM, M. H.A new proof that the chase is a Chureh-Rosser replacement system. In Proceedings of the XPI Workshop on Relational Database Theory (Stony Brook, June) 1980.
	28	John Grant , Barry E. Jacobs, On the family of generalized dependency constraints, Journal of the ACM (JACM), v.29 n.4, p.986-997, Oct. 1982 [doi>10.1145/322344.322348]
	29	Yuri Gurevich , Harry R. Lewis, The inference problem for template dependencies, Proceedings of the 1st ACM SIGACT-SIGMOD symposium on Principles of database systems, March 29-31, 1982, Los Angeles, California [doi>10.1145/588111.588148]
	30	ITO, M., TAN\|GUCHI, K., AND KASAMI, T.Membership problem for embedded multivalued dependencies under some restr~ed conditions. Theor. Comput. Sci. 23 (1983), 175--194.
	31	KANI/LLAKIS, P.C. On the computational complexity of cardinality constraints in relational databases. Inf. Proc. Left. 1I (1980), 98-101.
	32	M~mR, D., MENDELZON, A. O., SADRI, F., AND ULLMAN, J. D.Adequacy of decompositions of relational databases. In Advances in Database Theory, H. Gallaire, J. Minker, and J. M. Nicolas, Eds. Plenum Press, New York, 1981, pp. 101-114.
	33	David Maier , Alberto O. Mendelzon , Yehoshua Sagiv, Testing implications of data dependencies, ACM Transactions on Database Systems (TODS), v.4 n.4, p.455-469, Dec. 1979 [doi>10.1145/320107.320115]
	34	David Maier , Yehoshua Sagiv , Mihalis Yannakakis, On the Complexity of Testing Implications of Functional and Join Dependencies, Journal of the ACM (JACM), v.28 n.4, p.680-695, Oct. 1981 [doi>10.1145/322276.322280]
	35	Alberto O. Mendelzon, On Axiomatizing Multivalued Dependencies in Relational Databases, Journal of the ACM (JACM), v.26 n.1, p.37-44, Jan. 1979 [doi>10.1145/322108.322112]
	36	J. M. Nicolas, First order logic formalization for functional, multivalued and mutual dependencies, Proceedings of the 1978 ACM SIGMOD international conference on management of data, May 31-June 02, 1978, Austin, Texas [doi>10.1145/509252.509269]
	37	NICOLAS, J. M.Mutual dependencies and some results on undeeomposable relations. In Proceedings of the 4th International Conference on Very Large Data Bases (West Berlin, Germany, Sept. 13-15). ACM, New York, 1978, pp. 360--367.
	38	PAREDAEN$, J.Transitive dependencies in a database scheme. RAIRO lnf./Comput Sci 14 (1980), 149-164.
	39	PAREDAI/NS, J.The interaction of integrity constraints in an information system. J. Comput Syst. Sci. 20 (1980), 310-329,
	40	PAREDAENS, J.A universal formalism to express decomposition, functional dependencies and other constraints in a relational database. Theor. Comput. Sci. 19 (1982), 143-160.
	41	PAREDAENS, J., AND JANSSENS, D.Decompositions of relations--A comprehensive approach. In Advances in Database Theory, H. Gallaire, J. Minker, and J. M. Nicolas, Eds. Plenum Press, New York, 1981, pp. 73-I00.
	42	RISSANEN, J.Theory of relations for databases--A tutorial survey. In Proceedings of the 7th Symposium on Mathematwal Foundattons of Computer Science (Zakopane, Poland, Sept. 4-8) Lecture Notes in Computer Science, vol. 64. Springer-Vedag, New York, 1978, pp, 537-551.
	43	Fereidoon Sadri , Jeffrey D. Ullman, Template Dependencies: A Large Class of Dependencies in Relational Databases and Its Complete Axiomatization, Journal of the ACM (JACM), v.29 n.2, p.363-372, April 1982 [doi>10.1145/322307.322312]
	44	SADRI, F., AND ULLMAN, J.D.The theory of functional and template dependencies. Theor Comput. Sci. 17 (1982), 317-332.
	45	Yehoshua Sagiv , Claude Delobel , D. Scott Parker, Jr. , Ronald Fagin, An Equivalence Between Relational Database Dependencies and a Fragment of Propositional Logic, Journal of the ACM (JACM), v.28 n.3, p.435-453, July 1981 [doi>10.1145/322261.322263]
	46	Yehoshua Sagiv , Scott F. Walecka, Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies, Journal of the ACM (JACM), v.29 n.1, p.103-117, Jan. 1982 [doi>10.1145/322290.322297]
	47	Edward Sciore, A Complete Axiomatization of Full Join Dependencies, Journal of the ACM (JACM), v.29 n.2, p.373-393, April 1982 [doi>10.1145/322307.322313]
	48	VARDi, M. Y.Axiomatization of functional and join dependencies in the relational model. M.Se. Thesis, Dept. Applied Mathematics, Weizmann Institute of Science, Rehovot, Israel, 1980.
	49	VARDI, M.Y. The implication problem for data dependencies in relational databases. Ph.D. Thesis (in Hebrew), The Hebrew University of Jerusalem, Jerusalem, Israel, 1981.
	50	V ARt)I, M. Y. The implication and the finite implication problems for typed template dependenties. Jr. Comput System Sci. 28, 1 (Feb. 1984), 3-28.
	51	VARD{, M.Y. On the decomposition of relational databases. In Proceedings of the 23rd, lEEE Symposium on the Foundations of Computer Science, (Chicago, Nov. 3-5). IEEE, New York, 1982, pp. 176-187.
	52	VA~m, M. Y.Inferring multivalued delx~dencies from functional and join dependencies, Acta Inf. 19 (1983), 305-324.
	53	VARO~, M. Y.Inferring multivalued dependencies from tuple and equality generating dependencies, To appear.
	54	YANNAKAKiS, M., AND PAPDIMITRIOU, C. Algebraic dependencies. J. Comput. System ScL 21 (1982), 2-41.
	55	ZANIOLO, C.Analysis and design of relational schemata for database systems. Tech, Pep. UCLA- ENG-7769, Dept. Computer Science, UCLA, Los Angeles, July 1976.

CITED BY 53

	S S Cosmadakis , P C Kanellakis, Equational theories and database constraints, Proceedings of the seventeenth annual ACM symposium on Theory of computing, p.273-284, May 06-08, 1985, Providence, Rhode Island, United States
	Stavros S. Cosmadakis , Paris C. Kanellakis , Moshe Y. Vardi, Polynomial-time implication problems for unary inclusion dependencies, Journal of the ACM (JACM), v.37 n.1, p.15-46, Jan. 1990
	Y. Sagiv, Optimizing datalog programs, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.349-362, March 23-25, 1987, San Diego, California, United States
	E. P. F. Chan , H. J. Hernandez, On designing database schemes bounded or constant-time maintainable with respect to functional dependencies, Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.48-57, March 23-25, 1987, San Diego, California, United States
	Ke Wang , Marc H. Graham, Constant-time maintainability: a generalization of independence, ACM Transactions on Database Systems (TODS), v.17 n.2, p.201-246, June 1992
	Marc H. Graham , Alberto O. Mendelzon , Moshe Y. Vardi, Notions of dependency satisfaction, Journal of the ACM (JACM), v.33 n.1, p.105-129, Jan. 1986
	Tomasz Imielinski, Abstraction in query processing, Journal of the ACM (JACM), v.38 n.3, p.533-557, July 1991
	K. V. S. V. N. Raju , Arun K. Majumdar, Fuzzy functional dependencies and lossless join decomposition of fuzzy relational database systems, ACM Transactions on Database Systems (TODS), v.13 n.2, p.129-166, June 1988
	Michael J. Maher , Divesh Srivastava, Chasing constrained tuple-generating dependencies, Proceedings of the fifteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems, p.128-138, June 04-06, 1996, Montreal, Quebec, Canada
	David Maier , Jeffrey D. Ullman , Moshe Y. Vardi, On the foundations of the universal relation model, ACM Transactions on Database Systems (TODS), v.9 n.2, p.283-308, June 1984
	Kumar Vadaparty , Shamim Naqvi, Using Constraints for Efficient Query Processing in Nondeterministic Databases, IEEE Transactions on Knowledge and Data Engineering, v.7 n.6, p.850-864, December 1995
	Cong Yu , Lucian Popa, Constraint-based XML query rewriting for data integration, Proceedings of the 2004 ACM SIGMOD international conference on Management of data, June 13-18, 2004, Paris, France
	Marcelo Arenas , Pablo Barceló , Ronald Fagin , Leonid Libkin, Locally consistent transformations and query answering in data exchange, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France
	Ronald Fagin , Phokion G. Kolaitis , Lucian Popa, Data exchange: getting to the core, ACM Transactions on Database Systems (TODS), v.30 n.1, p.174-210, March 2005
	Georg Gottlob, Computing cores for data exchange: new algorithms and practical solutions, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland
	Phokion G. Kolaitis, Schema mappings, data exchange, and metadata management, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland
	Ariel Fuxman , Phokion G. Kolaitis , Renée J. Miller , Wang-Chiew Tan, Peer data exchange, Proceedings of the twenty-fourth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 13-15, 2005, Baltimore, Maryland
	Alin Deutsch , Val Tannen, XML Queries and constraints, containment and reformulation, Theoretical Computer Science, v.336 n.1, p.57-87, 25 May 2005
	Ronald Fagin , Phokion G. Kolaitis , Renée J. Miller , Lucian Popa, Data exchange: semantics and query answering, Theoretical Computer Science, v.336 n.1, p.89-124, 25 May 2005
	Ronald Fagin , Phokion G. Kolaitis , Wang-Chiew Tan , Lucian Popa, Composing schema mappings: second-order dependencies to the rescue, Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 14-16, 2004, Paris, France
	Ronald Fagin , Phokion G. Kolaitis , Lucian Popa , Wang-Chiew Tan, Composing schema mappings: Second-order dependencies to the rescue, ACM Transactions on Database Systems (TODS), v.30 n.4, p.994-1055, December 2005
	Alin Deutsch , Lucian Popa , Val Tannen, Query reformulation with constraints, ACM SIGMOD Record, v.35 n.1, March 2006
	Ronald Fagin , Phokion G. Kolaitis , Lucian Popa, Data exchange: getting to the core, Proceedings of the twenty-second ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, p.90-101, June 09-11, 2003, San Diego, California
	Jef Wijsen, Database repairing using updates, ACM Transactions on Database Systems (TODS), v.30 n.3, p.722-768, September 2005
	Ronald Fagin, Inverting schema mappings, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
	Phokion G. Kolaitis , Jonathan Panttaja , Wang-Chiew Tan, The complexity of data exchange, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
	Georg Gottlob , Alan Nash, Data exchange: computing cores in polynomial time, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
	Riccardo Rosati, On the decidability and finite controllability of query processing in databases with incomplete information, Proceedings of the twenty-fifth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 26-28, 2006, Chicago, IL, USA
	Ariel Fuxman , Phokion G. Kolaitis , Renée J. Miller , Wang-Chiew Tan, Peer data exchange, ACM Transactions on Database Systems (TODS), v.31 n.4, p.1454-1498, December 2006
	Christian Herrmann, Corrigendum: Corrigendum to “On the undecidability of implications between embedded multivalued database dependencies” [Inform. and Comput. 122 (1995) 221--235], Information and Computation, v.204 n.12, p.1847-1851, December, 2006
	Susan Davidson , Wenfei Fan , Carmem Hara, Propagating XML constraints to relations, Journal of Computer and System Sciences, v.73 n.3, p.316-361, May, 2007
	Ronald Fagin, Inverting schema mappings, ACM Transactions on Database Systems (TODS), v.32 n.4, p.25-es, November 2007
	Georg Gottlob , Alan Nash, Efficient core computation in data exchange, Journal of the ACM (JACM), v.55 n.2, p.1-49, May 2008
	Hervé Gallaire, Impacts of logic and databases (invited paper), Proceedings of the seventh international conference on Very Large Data Bases, p.248-259, September 09-11, 1981, Cannes, France
	Rajasekar Krishnamurthy , Raghav Kaushik , Jeffrey F. Naughton, Efficient XML-to-SQL query translation: where to add the intelligence?, Proceedings of the Thirtieth international conference on Very large data bases, p.144-155, August 31-September 03, 2004, Toronto, Canada
	Sven Hartmann , Sebastian Link , Thu Trinh, Constraint acquisition you can chase but you cannot find, Proceedings of the fifth on Asia-Pacific conference on conceptual modelling, January 01-01, 2008, Wollongong, NSW, Australia
	Foto N. Afrati , Chen Li , Jeffrey D. Ullman, Using views to generate efficient evaluation plans for queries, Journal of Computer and System Sciences, v.73 n.5, p.703-724, August, 2007
	Stephen J. Hegner, The complexity of embedded axiomatization for a class of closed database views, Annals of Mathematics and Artificial Intelligence, v.46 n.1-2, p.38-97, February 2006
	Alin Deutsch , Lucian Popa , Val Tannen, Physical Data Independence, Constraints, and Optimization with Universal Plans, Proceedings of the 25th International Conference on Very Large Data Bases, p.459-470, September 07-10, 1999
	Foto Afrati , Chen Li , Vassia Pavlaki, Data exchange in the presence of arithmetic comparisons, Proceedings of the 11th international conference on Extending database technology: Advances in database technology, March 25-29, 2008, Nantes, France
	Loreto Bravo , Wenfei Fan , Shuai Ma, Extending dependencies with conditions, Proceedings of the 33rd international conference on Very large data bases, September 23-27, 2007, Vienna, Austria
	Wenfei Fan , Floris Geerts , Xibei Jia , Anastasios Kementsietsidis, Conditional functional dependencies for capturing data inconsistencies, ACM Transactions on Database Systems (TODS), v.33 n.2, p.1-48, June 2008
	Sabrina De Capitani di Vimercati , Sara Foresti , Sushil Jajodia , Stefano Paraboschi , Pierangela Samarati, Assessing query privileges via safe and efficient permission composition, Proceedings of the 15th ACM conference on Computer and communications security, October 27-31, 2008, Alexandria, Virginia, USA
	Foto Afrati , Chen Li , Vassia Pavlaki, Data exchange: query answering for incomplete data sources, Proceedings of the 3rd international conference on Scalable information systems, June 04-06, 2008, Vico Equense, Italy
	Alin Deutsch , Alan Nash , Jeff Remmel, The chase revisited, Proceedings of the twenty-seventh ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 09-12, 2008, Vancouver, Canada
	Andrea Calì , Georg Gottlob , Thomas Lukasiewicz, Datalog^±: a unified approach to ontologies and integrity constraints, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia
	Andrea Calì , Georg Gottlob , Thomas Lukasiewicz, A general datalog-based framework for tractable query answering over ontologies, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 29-July 01, 2009, Providence, Rhode Island, USA
	Marcelo Arenas , Pablo Barceló , Juan Reutter, Query languages for data exchange: beyond unions of conjunctive queries, Proceedings of the 12th International Conference on Database Theory, March 23-25, 2009, St. Petersburg, Russia
	Paolo Papotti , Riccardo Torlone, Schema exchange: Generic mappings for transforming data and metadata, Data & Knowledge Engineering, v.68 n.7, p.665-682, July, 2009
	Ronald Fagin , Phokion G. Kolaitis , Lucian Popa , Wang-Chiew Tan, Reverse data exchange: coping with nulls, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 29-July 01, 2009, Providence, Rhode Island, USA
	Georg Gottlob , Stephanie Tien Lee , Gregory J. Valiant, Size and treewidth bounds for conjunctive queries, Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems, June 29-July 01, 2009, Providence, Rhode Island, USA
	Giansalvatore Mecca , Paolo Papotti , Salvatore Raunich, Core schema mappings, Proceedings of the 35th SIGMOD international conference on Management of data, June 29-July 02, 2009, Providence, Rhode Island, USA
	Pablo Barceló, Logical foundations of relational data exchange, ACM SIGMOD Record, v.38 n.1, March 2009

INDEX TERMS

Classification:
F. Theory of Computation
F.4 MATHEMATICAL LOGIC AND FORMAL LANGUAGES
F.4.1 Mathematical Logic
Subjects: Mechanical theorem proving

H. Information Systems
H.2 DATABASE MANAGEMENT
H.2.1 Logical Design
Subjects: Schema and subschema

General Terms:
Algorithms, Design, Theory, Verification

REVIEW

"Seymour Ginsburg : Reviewer"

During the past decade a host of different dependencies have been introduced into the relational model to capture different semantics. For unification and other purposes, some rather general types of dependencies have been abstracted, such as t more...

Collaborative Colleagues:

Catriel Beeri: colleagues

Moshe Y. Vardi: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player