Genomic database applications in DISCO

  • Peter Z. Revesz
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1191)


A genome map is an ordering of a set of clones according to their believed position on a DNA string. Simple heuristics for genome map assembly based on single restriction enzyme with complete digestion data can lead to inaccuracies and ambiguities. This paper presents a method that adds additional constraint checking to the assembly process. An automaton is presented that for any genome map produces a refined genome map where both the clones and the restriction fragments in each clone are ordered satisfying natural constraints called step constraints. Any genome map that cannot be refined is highly likely to be inaccurate and can be eliminated as a possibility.


Restriction Fragment Atomic Formula Conjunctive Normal Form Deductive Database Constraint Logic Programming 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    J. Byon, P. Z. Revesz. DISCO: A Constraint Database System with Sets. Proc. Workshop on Constraint Databases and Applications, Springer-Verlag LNCS 1034, pp. 68–83, September 1995.Google Scholar
  2. 2.
    T.I. Dix, C.N. Yee. A restriction mapping engine using constraint logic programming, Proceedings of 2nd International Conference on Intelligent Systems for Molecular Biology, AAAI Press, pp. 112–120, 1994.Google Scholar
  3. 3.
    A. Dovier, G. Rossi. Embedding extensional finite sets in CLP. International Logic Programming Symposium, 1993.Google Scholar
  4. 4.
    ECLIPSE. Eclipse user manual. Technical report. ECRC, 1994.Google Scholar
  5. 5.
    C. Gervet. Conjunto: Constraint Logic Programming with Finite Set Domains. Proc. International Logic Programming Symposium, 339–358, 1994.Google Scholar
  6. 6.
    W. Gillett. DNA Mapping Algorithms: Strategies for Single Restriction Enzyme and Multiple Restriction Enzyme Mapping. Washington Univ. Tech. Report WUCS-92-29.Google Scholar
  7. 7.
    E. Harley, A. Bonner, N. Goodman. Good maps are straight. Proc. 4th Int. Conf. on Intelligent Systems for Molecular Biology, p. 88–97, June 1996.Google Scholar
  8. 8.
    J. Jaffar, S. Michaylov, P.J. Stuckey, R.H. Yap. The CLP(R) Language and System. ACM Transactions on Programming Languages and Systems, 14:3, 339–395, 1992.Google Scholar
  9. 9.
    P. C. Kanellakis, G. M. Kuper, P. Z. Revesz. Constraint Query Languages. Journal of Computer and System Sciences, vol. 51, 26–52, 1995.Google Scholar
  10. 10.
    R. M. Karp. Mapping the genome: some combinatorial problems arising in molecular biology. Proc. 25th ACM Symp. on Theory of Computing, 278–285, 1993.Google Scholar
  11. 11.
    E. S. Lander, M. S. Waterman. Genomic mapping by fringerprinting random clones: A mathematical analysis. Genomics, Vol. 2, 231–239, 1988.Google Scholar
  12. 12.
    B. Legeard, E. Legros. Short overview of the CLPS System. Proc. PLILP, 1991.Google Scholar
  13. 13.
    M. V. Olson et al. Random-clone strategy for genomic restriction mapping in yeast. Genomics, vol. 83, 7826–7830, 1986.Google Scholar
  14. 14.
    R. Ramakrishnan, D. Srivastava, S. Sudarshan. CORAL: Control, Relations and Logic. Proc. VLDB, 1992.Google Scholar
  15. 15.
    P. Z. Revesz. A Closed Form Evaluation for Datalog Queries with Integer (Gap)-Order Constraints, Theoretical Computer Science, vol. 116, no. 1, 117–149, 1993.Google Scholar
  16. 16.
    P. Z. Revesz. Datalog Queries of Set Constraint Databases, Fifth International Conference on Database Theory, Springer-Verlag LNCS 893, pp. 425–438, Prague, Czech Republic, January, 1995.Google Scholar
  17. 17.
    D. Srivastava, R. Ramakrishnan, P.Z. Revesz. Constraint Objects. Proc. 2nd Workshop on Principles and Practice of Constraint Programming, 274–284, 1994.Google Scholar
  18. 18.
    S. Tsur and C. Zaniolo. LDL: A Logic-Based Data-Language. Proc. VLDB, pp 33–41, 1986.Google Scholar
  19. 19.
    S. Tsur, F. Olken, D. Naor. Deductive databases for genome mapping. Technical Report LBL-29577, Lawrence Berkeley Laboratiry, Berkeley, CA 94720.Google Scholar
  20. 20.
    R.H.C. Yap. A Constraint Logic Programming Framework for Constructing DNA Restriction Maps, Artificial Intelligence in Medicine, Vol. 5, 447–464, 1993Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Peter Z. Revesz
    • 1
  1. 1.Department of Computer Science and EngineeringUniversity of NebraskaLincolnUSA

Personalised recommendations