Linearly bounded reformulations of unary databases

Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science)

Volumn 1864, Issue , 2000, Pages 144-163

  Chirkova, Rada ^a   Genesereth, Michael R ^a  

^a STANFORD UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTING; CONSTRAINT SATISFACTION PROBLEMS; DATABASE SYSTEMS; DIGITAL STORAGE; QUERY LANGUAGES; QUERY PROCESSING;

NON-RECURSIVE DATALOG; STORAGE SPACES;

INTELLIGENT DATABASES;

EID: 84942876718     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/3-540-44914-0_9     Document Type: Conference Paper

References (29)

1. Serge Abiteboul and Oliver Duschka. Complexity of answering queries using materialized views. In PODS-98, pages 254-263.
2. Serge Abiteboul, Richard Hull, and Victor Vianu. Foundations of Databases. Addison-Wesley, Reading, Mass., 1995.
3. F. N. Afrati, M. Gergatsoulis, and T. G. Kavalieros. Answering queries using materialized views with disjunctions. In ICDT-99, pages 435-452.
4. P. Atzeni, G. Ausiello, C. Batini, and M. Moscarini. Inclusion and equivalence between relational database schemata. Theoretical Computer Science, 19:267-285, 1982.
5. E. Baralis, S. Paraboschi, and E. Teniente. Materialized view selection in a multidimensional database. In VLDB-97, pages 156-165.
6. C. Batini, M. Lenzerini, and S. B. Navathe. A comparative analysis of methodologies for database schema integration. ACM Computing Surveys, 18(4):323-364, 1986.
7. C. Beeri, A. O. Mendelzon, Y. Sagiv, and J. D. Ullman. Equivalence of relational database schemes. SIAM J. Comput., 10(2):352-370, 1981.
8. E. F. Codd. A relational model of data for large shared data banks. Comm. ACM, 13(6):377-387, June 1970.
9. Oliver M. Duschka and Michael R. Genesereth. Answering recursive queries using views. In PODS-97, pages 109-116.
10. Oliver M. Duschka and Michael R. Genesereth. Query planning with disjunctive sources. In AAAI-98 Workshop on AI and Information Integration.
11. Herbert B. Enderton. A Mathematical Introduction to Logic. Academic Press, New York, 1972.
12. Fausto Giunchiglia and Toby Walsh. A theory of abstraction. Artificial Intelligence, 57(2-3):323-389, 1992.
13. Himanshu Gupta. Selection of views to materialize in a data warehouse. In ICDT-97, pages 98-112.
14. Himanshu Gupta and Inderpal Singh Mumick. Selection of views to materialize under a maintenance cost constraint. In ICDT-99, pages 453-470.
15. Richard Hull. Managing semantic heterogeneity in databases: A theoretical perspective. In PODS-97, pages 51-61.
16. Richard Hull. Relative information capacity of simple relational database schemata. SIAM J. Comput., 15(3):856-886, August 1986.
17. Won Kim, editor. Modern Database Systems. ACM Press, New York, New York, 1995.
18. Yannis Kotidis and Nick Roussopoulos. Dynamat: A dynamic view management systemfor data warehouses. In SIGMOD-99.
19. Alon Y. Levy, Inderpal SinghMumick, Yehoshua Sagiv, and Oded Shmueli. Equivalence, query-reachability and satisfiability in datalog extensions. In PODS-93, pages 109-122.
20. Alon Y. Levy and P. Pandurang Nayak. A semantic theory of abstractions. In IJCAI-95, pages 196-203.
21. A. Y. Levy, A. O. Mendelzon, Y. Sagiv, and D. Srivastava. Answering queries using views. In PODS-95, pages 95-104.
22. Jack Minker. Logic and databases: A 20 year retrospective. In D. Pedreschi and C. Zaniolo, editors, Logic in Databases, pages 3-57. Springer, 1996. (Proceedings of the LID'96 international workshop).
23. Raghu Ramakrishnan and Jeffrey D. Ullman. A survey of deductive database systems. J. Logic Progr., 23(2):125-149, May 1995.
24. J. Rissanen. On equivalences of database schemes. In PODS-82, pages 23-26.
25. K. A. Ross, D. Srivastava, and S. Sudarshan. Materialized view maintenance and integrity constraint checking: Trading space for time. In SIGMOD-96, pages 447-458.
26. Devika Subramanian. A theory of justified reformulations. PhD thesis, Stanford University, 1989.
27. D. Theodoratos and T. Sellis. Data warehouse configuration. In VLDB-97, pages 126-135.
28. Jeffrey D. Ullman. Principles of Database and Knowledge-Base Systems, volum eI. Computer Science Press, New York, 1988.
29. J. Yang, K. Karlapalem, and Q. Li. Algorithms for materialized view design in data warehousing environment. In VLDB-97, pages 136-145.