Sequences, datalog, and transducers

Journal of Computer and System Sciences

Volumn 57, Issue 3, 1998, Pages 234-259

  Bonner, Anthony ^a   Mecca, Giansalvatore ^b  

^a UNIVERSITY OF TORONTO   (Canada)

^b UNIVERSITY OF BASILICATA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER PROGRAMMING LANGUAGES; LINGUISTICS; SUBROUTINES;

SEQUENCE DATABASES; SEQUENCE DATALOG PROGRAMMING LANGUAGE;

QUERY LANGUAGES;

EID: 0032290173     PISSN: 00220000     EISSN: None     Source Type: Journal    
DOI: 10.1006/jcss.1998.1562     Document Type: Article

References (36)

1. S. Abiteboul, R. Hull, and V. Vianu, "Foundations of Databases," Addison-Wesley, Reading, MA, 1995.
2. S. Abiteboul and P. Kanellakis, Object identity as a query language primitive, in "ACM SIGMOD International Conference on Management of Data," pp. 159-173, 1989.
3. A. Albano, L. Cardelli, and R. Orsini, Galileo: A strongly typed interactive conceptual language, ACM Trans. Database Syst. 10 (1985), 230-260.
4. K. Apt, H. Blair, and A. Walker, Towards a theory of declarative knowledge, in "Foundations of Deductive Databases and Logic Programming" (J. Minker, Ed.), pp. 89-148, Morgan Kauffman, Los Altos, CA, 1988.
5. M. Atkinson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, and Z. Zdonik, The object-oriented database manifesto, in "First International Conference on Deductive and Object Oriented Databases (DOOD'89), Kyoto, Japan," pp. 40-57, 1989.
6. P. Atzeni, Ed. "LOGIDATA +: Deductive Databases with Complex Objects," Lecture Notes in Computer Science, Vol. 701, Springer-Verlag, Berlin/New York, 1993.
7. 2 object-oriented database system, in "Second International Workshop on Database Programming Languages (DBPL'89)," pp. 122-138, 1989.
8. S. Bellantoni and S. Cook, A new recursion-theoretic characterization of the polytime functions, in "ACM International Symposium on Theory of Computing," pp. 283-293, 1992.
9. A. J. Bonner, Hypothetical Datalog: Complexity and expressibility, Theor. Comput. Sci. 76 (1990), 3-51.
10. A. J. Bonner and G. Mecca, Querying string databases with transducers, in "International Workshop on Database Programming Languages (DBPL)," Estes Park, Colorado, August 18-20, 1997. To appear in Lecture Notes in Computer Science, Vol. 1369, Springer-Verlag, Berlin/New York, 1998. Available at http://poincare/inf. uniroma3.it:8080/∼mecca.
11. V. Breazu-Tannen, P. Buneman, and S. Naqvi, Structural recursion as a query language, in "Third International Workshop on Database Programming Languages (DBPL'91)," pp. 9-19, 1991.
12. R. G. G. Cattel, Ed., "The Object Database Standard: ODMG-93," Morgan Kaufmann, San Francisco, 1994.
13. A. K. Chandra and D. Harel, Computable queries for relational databases, J. Compute. Syst. Sci. 21 (1980), 333-347.
14. L. S. Colby, E. L. Robertson, L. V. Saxton, and D. Van Gucht, A query language for list-based complex objects, in "Thirteenth ACM SIGMOD International Symposium on Principles of Database Systems (PODS'94)," pp. 179-189, 1994.
15. Commun. ACM 34 (1991). Special issue on the Human Genome project.
16. S. Ginsburg and X. Wang, Pattern matching by RS-operations: Towards a unified approach to querying sequence data, in "Eleventh ACM SIGACT SIGMOD SIGART Symposium on Principles of Database Systems (PODS'92)," pp. 293-300, 1992.
17. G. H. Gonnet, Text dominated databases: Theory, practice, and experience, tutorial presented at PODS, 1994.
18. N. Goodman, Research issues in Genome databases, tutorial presented at PODS, 1995.
19. E. Graedel and M. Otto, Inductive definability with counting on finite structures, in "Proceedings of Computer Science Logic," pp. 231-247. Lecture Notes in Computer Science, Vol. 702, Springer-Verlag, Berlin/ New York, 1993.
20. G. Grahne, M. Nykanen, and E. Ukkonen, Reasoning about strings in databases, in "Thirteenth ACM SIGMOD International Symposium on Principles of Database Systems (PODS'94)," pp. 303-312, 1994.
21. S. Grumbach and T. Milo, Towards tractable algebras for bags, in "Twelfth ACM SIGMOD International Symposium on Principles of Database Systems (PODS'93), Washington, DC," pp. 49-58, 1993.
22. S. Grambach and T. Milo, An algebra for POMSETS, in "Fifth International Conference on Database Theory, (ICDT'95), Prague," pp. 191-207, Lecture Notes in Computer Science, Springer-Verlag, Berlin/New York, 1995.
23. C. Hegelsen and P. R. Sibbald, PALM - A pattern language for molecular biology, in "First International Conference on Intelligent Systems for Molecular Biology," pp. 172-180, 1993.
24. J. W. Lloyd, "Foundations of Logic Programming," 2nd ed., Springer-Verlag, Berlin/New York, 1987.
25. G. Mecca, "From Datalog to Sequence Datalog: Languages and Techniques for Querying Sequence Databases," Ph.D. thesis, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1996. Available at http://poincare/inf.uniroma3.it:8080/ ∼mecca.
26. C. H. Papadimitriou, "Computational Complexity," Addison-Wesley, Reading, MA, 1994.
27. J. Richardson, Supporting lists in a data model (a timely approach), in "Eighteenth International Conference on Very Large Data Bases (VLDB'92), Vancouver, Canada," pp. 127-138, 1992.
28. D. B. Searls, "String variable grammars: A logic grammar formalism for DNA sequences," Technical report, School of Medicine, University of Pennsylvania, 1993.
29. D. Stott Parker, E. Simon, and P. Valduriez, SVP - A model capturing sets, streams and parallelism, in "Eighteenth International Conference on Very Large Data Bases (VLDB'92), Vancouver, Canada," pp. 115-126, 1992.
30. A. Tarski, A lattice-theoretical fixpoint theorem and its applications, Pacific J. Math. 5 (1955), 285-309.
31. The committee for advanced DBMS functions, Third generation database systems manifesto, ACM SIGMOD Record 19 (1990), 31-44.
32. S. Vandenberg and D. De Witt, Algebraic support for complex objects with arrays, identity and inheritance, in "ACM SIGMOD International Conference on Management of Data," pp. 158-167, 1991.
33. M. Vardi, The complexity of relational query languages, in "Fourteenth ACM SIGACT Symposium on Theory of Computing," pp. 137-146, 1988.
34. X. Wang, "Pattern matching by RS-operations: Towards a unified approach to querying sequence data," Ph.D. thesis, University of Southern California, 1992.
35. J. D. Watson, et al., "Molecular Biology of the Gene," 4th ed., Benjamin and Cummings, Menlo Park, CA, 1987.
36. P. Wolper, Temporal logic can be more expressive, Inform. Control 56 (1983).