Document Spanners: A Formal Approach to Information Extraction
View-based query processing and constraint satisfaction