On the complexity of queries in the logical data model

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 326 LNCS, Issue , 1988, Pages 267-280

  Kuper, Gabriel M ^a   Vardi, Moshe Y ^b  

^a IBM T J WATSON RESEARCH CENTER   (United States)

^b IBM ALMADEN RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

TURING MACHINES;

DATA COMPLEXITY; EXPONENTIAL TIME; FIRST ORDER; HIGHER-ORDER; LOGICAL DATA MODELS; LOGICAL DATA MODELS (LDM); POWER SET;

QUERY PROCESSING;

EID: 18944377973     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-50171-1_17     Document Type: Conference Paper

References (20)

1. Bennet, J. H.: On Spectra, Ph. D. Dissertation, Princeton University, 1962.
2. Bancilhon, F., Khoshafian, S.: A calculus for complex objects. Proc. ACM Symp. on Principles of Database Systems, 1986.
3. Chandra, A., Harel, D.: Structure and Complexity of Relational Queries. J. Computer and Systems Sciences 25(1982), pp. 99-128.
4. Chandra, A. K., Kozen, D. C., Stockmeyer, L. J.: Alternation. J. A CM 28(1981), PP 114-133.
5. Codd, E. F.: A relational model of data for large shared data banks. Comm. ACM 13(1970), pp. 377-387.
6. Codd, E. F.: Extending the database relational model to capture more meaning. ACM Trans. on Database Systems, 4(1979), pp. 397-434.
7. Fischer, P. O., Thomas, S. J.: Operators for non-first-normal-form relations. Proc. IEEE Computer Software Applications Conference, 1983, pp. 464-475.
8. Hammer, M., McLeod, D.: Database description with SDM: a semantic database model. ACM Trans. on Database Systems, 6(1981), pp. 351-386.
9. Hull, R., Su, J.: On the expressive power of database queries with intermediate types. Proc. ACM Symp. on Principles of Database Systems, 1988.
10. Hopcroft, J. E., Ullman, J. D.: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
11. Hull, R., Yap, O. K.: The format model: a theory of database organization. Proc. ACM Symp. on Principles of Database Systems, 1982.
12. Jacobs, B. E.: On database logic. J. ACM 29 (1982), pp. 310-322.
13. Jaeschke, B., Schek, H. J.: Remarks on the algebra of non-first-normal-form relations. Proc. A CM Symp. on Principles of Database Systems, 1982.
14. Kuper, G. M., Vardi, M. Y.: A new approach to database logic. Proc. ACM Symp. on Principles of Database Systems, 1984.
15. Kuper, G. M., Vardi, M. Y.: On the expressive power of the logical data model. Proc. SIGMOD, 1985.
16. Shipman, D.: The functional model and the data language DAPLEX. ACM Trans. on Database Systems, 6(1981), pp. 140-173.
17. Smith, J. M., Smith, D. C. P.: Database abstractions: aggregation. Comm. A CM 20 (1977), pp. 405-413.
18. Stockmeyer, L. J.: The complexity of decision problems in automata theory and logic. Ph. D. Dissertation, MIT, 1974.
19. Stockmeyer, L. J.: The polynomial time hierarchy. Theoretical Computer Science 3(1977), pp. 1-22.
20. Volger, H.: Turing machines with bounded alternation. Theoretical Computer Science 23(1983), pp. 333-337.