Non-deterministic two-tape automata are more powerful than deterministic ones
Proceedings on STACS 85 2nd annual symposium on theoretical aspects of computer science
A database language for sets, lists and tables
Information Systems
Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Termination detection in logic programs using argument sizes (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Handbook of theoretical computer science (vol. B)
Object-oriented modeling and design
Object-oriented modeling and design
Algorithms on strings, trees, and sequences: computer science and computational biology
Algorithms on strings, trees, and sequences: computer science and computational biology
Foundation for object/relational databases: the third manifesto
Foundation for object/relational databases: the third manifesto
Regular sequence operations and their use in database queries
Journal of Computer and System Sciences
Sequences, datalog, transducers
Journal of Computer and System Sciences - Fourteenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
Reasoning about strings in databases
Journal of Computer and System Sciences
Querying sequence databases with transducers
Acta Informatica
String operations in query languages
PODS '01 Proceedings of the twentieth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
Using acceptors as transducers
Theoretical Computer Science
The Scheme Programming Language: ANSI Scheme
The Scheme Programming Language: ANSI Scheme
Foundations of Databases: The Logical Level
Foundations of Databases: The Logical Level
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
Journal of Algorithms
The AQUA Approach to Querying Lists and Trees in Object-Oriented Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
SEQ: A Model for Sequence Databases
ICDE '95 Proceedings of the Eleventh International Conference on Data Engineering
PALM - A Pattern Language for Molecular Biology
Proceedings of the 1st International Conference on Intelligent Systems for Molecular Biology
A Grammar-Based Unification of Several Alignment and Folding Algorithms
Proceedings of the Fourth International Conference on Intelligent Systems for Molecular Biology
The Case for Enhanced Abstract Data Types
VLDB '97 Proceedings of the 23rd International Conference on Very Large Data Bases
Supporting Lists in a Data Model (A Timely Approach)
VLDB '92 Proceedings of the 18th International Conference on Very Large Data Bases
Approximate Pattern Matching is Expressible in Transitive Closure Logic
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
SPIRE '99 Proceedings of the String Processing and Information Retrieval Symposium & International Workshop on Groupware
Adding String Processing Capabilities to Data Management Systems
SPIRE '00 Proceedings of the Seventh International Symposium on String Processing Information Retrieval (SPIRE'00)
Formal grammars for intermolecular structure
INBS '95 Proceedings of the First International Symposium on Intelligence in Neural and Biological Systems (INBS'95)
Finding paths with the right cost
STACS'99 Proceedings of the 16th annual conference on Theoretical aspects of computer science
Safety, translation and evaluation of alignment calculus
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
On size reduction techniques for multitape automata
Theoretical Computer Science - Implementation and application of automata
Size reduction of multitape automata
CIAA'04 Proceedings of the 9th international conference on Implementation and Application of Automata
Size reduction of multitape automata
CIAA'05 Proceedings of the 10th international conference on Implementation and Application of Automata
Hi-index | 0.00 |
Current data management and information retrieval systems lack advanced string processing capabilities needed in string-oriented application areas like computational molecular biology. Several theoretical models for string processing have been proposed but they either have not been implemented in practice or the implementations are too restricted or platform-dependent to be generally useful. In this article, we introduce the language Alignment Declarations designed for string querying and restructuring. The language extends the capabilities of existing database query languages by allowing the user to define database predicates that express structural properties of strings (e.g. containment of certain patterns) or relations between several strings (e.g. similarity measures). These predicates can be created and executed within the same database session and also stored for later sessions. We also describe the design and implementation of a working system.