{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:16:09Z","timestamp":1725484569570},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540655275"},{"type":"electronic","value":"9783540492016"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/3-540-49201-1_13","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T06:56:07Z","timestamp":1179644167000},"page":"179-195","source":"Crossref","is-referenced-by-count":3,"title":["Implementing a Declarative String Query Language with String Restructuring"],"prefix":"10.1007","author":[{"given":"Raul","family":"Hakli","sequence":"first","affiliation":[]},{"given":"Matti","family":"Nyk\u00e4nen","sequence":"additional","affiliation":[]},{"given":"Hellis","family":"Tamm","sequence":"additional","affiliation":[]},{"given":"Esko","family":"Ukkonen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,1,15]]},"reference":[{"key":"13_CR1","unstructured":"Abiteboul, S., Hull, R., and Vianu, V. Foundations of Databases: the Logical Level. Addison-Wesley 1995."},{"key":"13_CR2","unstructured":"Atkinson, M., Bancilhon, F., DeWitt, D. et al. The object-oriented database system manifesto. In Deductive and object-oriented databases: Proceedings of the First International Conference on Deductive and Object-Oriented Databases (DOOD89) (1989), pp. 223\u2013240."},{"issue":"3","key":"13_CR3","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1016\/0010-4825(95)00054-2","volume":"26","author":"S. Ganguly","year":"1996","unstructured":"Ganguly, S., and Noordewier, M. Proximal: a database system for the efficient retrieval of genetic information. Computers in Biology and Medicine 26,3(1996), 199\u2013207.","journal-title":"Computers in Biology and Medicine"},{"issue":"1","key":"13_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jcss.1997.1514","volume":"56","author":"A. Ginsburg","year":"1998","unstructured":"Ginsburg, A., and Wang, X.S. Regular sequence operations and their use in database queries. Journal of Computer and System Sciences\n                           56, 1(1998), pp. 1\u201326.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR5","unstructured":"Grahne, G., Hakli, R., Nyk\u00e4nen, M., and Ukkonen, E. AQL: an alignment based language for querying string databases. To appear in Ninth International Conference on Management of Data (COMAD\u201998)."},{"key":"13_CR6","unstructured":"Grahne, G., Nyk\u00e4nen, M. Safety, translation and evaluation of Alignment Calculus. In Proceedings of the First East-European Symposium on Advances in Databases and Information Systems (ADBIS\u201997) (1997), pp. 295\u2013304."},{"key":"13_CR7","unstructured":"Grahne, G., Nyk\u00e4nen, M., and Ukkonen, E. Reasoning about strings in databases. In Proceedings of the 13th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1994), pp. 303\u2013312."},{"key":"13_CR8","unstructured":"Grahne, G., Nyk\u00e4nen, M., and Ukkonen, E. Reasoning about strings in databases. To appear in the Journal of Computer and System Sciences (JCSS)."},{"key":"13_CR9","unstructured":"Helgesen, C., and Sibbald, P.R. PALM-a pattern language for molecular biology. In Proceedings of the First International Conference on Intelligent Systems in Molecular Biology (1993), pp. 172\u2013180."},{"key":"13_CR10","unstructured":"Hopcroft, J.E., and Ullman, J.D. Introduction to Automata Theory, Languages, and Computation. Addison-Wesley 1979."},{"key":"13_CR11","volume-title":"Department of Computer Science","author":"M. Kekkonen","year":"1997","unstructured":"Kekkonen, M., Koskelainen, J., Niemi, J., Tuononen, T., Vihervaara, A., and Vuolasto, J. Design document for the BiO2 system (in Finnish). Tech. rep., Department of Computer Science, University of Helsinki, Finland, 1997."},{"key":"13_CR12","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1006\/jcss.1996.0009","volume":"52","author":"R. Krishnamurthy","year":"1996","unstructured":"Krishnamurthy, R., Ramakrishnan, R., and Shmueli, O. A framework for testing safety and effective computability. Journal of Computer and System Sciences\n                           52 (1996), pp. 100\u2013124.","journal-title":"Journal of Computer and System Sciences"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Mecca, G., and Bonner, A.J. Sequences, Datalog and transducers. In ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1995), pp. 23\u201335.","DOI":"10.1145\/212433.212440"},{"key":"13_CR14","volume-title":"PhD thesis","author":"M. Nyk\u00e4nen","year":"1997","unstructured":"Nyk\u00e4nen, M. Querying String Databases with Modal Logic, PhD thesis, Department of Computer Science, University of Helsinki, Helsinki, 1997."},{"key":"13_CR15","unstructured":"Nyk\u00e4nen, M. Using acceptors as transducers. To appear in Third International Workshop on Implementing Automata (WIA\u201998)."},{"key":"13_CR16","unstructured":"O2C User Manual. O2 Technology 1996."},{"key":"13_CR17","unstructured":"OQL User Manual. O2 Technology 1996."},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Ramakrishnan, R., Bancilhon, F., and Silberschatz, A. Safety of recursive Horn clauses with infinite relations (extended abstract). In Proceedings of the 6th ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems (1987), pp. 328\u2013339.","DOI":"10.1145\/28659.28694"},{"key":"13_CR19","unstructured":"Richardson, J. Supporting lists in a data model (a timely approach). In Very Large Data Bases Conference (1992), pp. 127\u2013138."},{"issue":"1&2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0743-1066(95)00034-H","volume":"24","author":"D.B. Searls","year":"1995","unstructured":"Searls, D.B. String variable grammar: a logic grammar formalism for the biological language of DNA. The Journal of Logic Programming 24, 1&2 (1995), 73\u2013102.","journal-title":"The Journal of Logic Programming"},{"key":"13_CR21","unstructured":"Sedgewick, R. Algorithms, 2nd edition. Addison-Wesley 1988."},{"key":"13_CR22","unstructured":"Seshadri, P., Livny, M., and Ramakrishnan, R. The case for extended Abstract Data Types. In Very Large Data Bases Conference (1997), pp. 66\u201375."},{"issue":"1","key":"13_CR23","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1093\/nar\/25.1.7","volume":"25","author":"G. Stoesser","year":"1997","unstructured":"Stoesser, G., Sterk, P., Tuli, M.A., et al. The EMBL Nucleotide Sequence Database. Nucleic Acids Research\n                           25, 1(1997), pp. 7\u201313.","journal-title":"Nucleic Acids Research"},{"key":"13_CR24","volume-title":"SWI-Prolog Reference Manual","author":"J. Wielemaker","year":"1997","unstructured":"Wielemaker, J. SWI-Prolog Reference Manual. University of Amsterdam, The Netherlands, \n                    http:\/\/www.swi.psy.uva.nl\/usr\/jan\/SWI-Prolog\/Manual\/Title.html\n                    \n                  , 1997."}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49201-1_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,16]],"date-time":"2019-02-16T20:32:57Z","timestamp":1550349177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49201-1_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540655275","9783540492016"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-49201-1_13","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1998]]}}}