Abstract
We propose new methods and algorithms of analytical truth space comparison for Relational Database queries. Such a comparison aims to define the possibility of partial or full cache usage. The cache is stored on user’s computer and Database server is supposed to be remote. In case user query’s result is contained in cache we can simply take the data from there avoiding any server requests. The suggested method may also be used for defining data missing in cache and performing query to only receive that data. Analytical computations are also used to achieve this and it differs our approach from existing ones. Query comparison algorithms are based on the Predicate Logic theory. Formulas are presented by logical constraints in SQL and predicates correspond to SQL operations.
Highlights
В данной работе рассматривается проблема использования результатов выполнения запросов, закэшированных на компьютере пользователя
В области теоретических исследований ситуация складывается следующим образом
We propose new methods and algorithms of analytical truth space comparison for Relational Database queries
Summary
В области теоретических исследований ситуация складывается следующим образом. Огромное число публикаций посвящено проблеме построения оптимального плана запроса на основе формальных правил, в которых не используются области определения предикатов в SQL-операторах (логическая оптимизация) либо эти области учитываются при вычислении статистических оценок для оптимизации физического доступа к базе данных. В ней рассматриваются конъюнктивные запросы над доменами данных с предикатами в виде арифметических сравнений, и представлены алгоритмы вычисления запросов с использованием представлений. В данной работе проблему использования промежуточных представлений предлагается решать посредством вычисления их областей истинности. Данная работа основывается на теоретических результатах, описанных в статье [12], где предлагается технология, в основе которой лежит понятие области истинности логического ограничения, накладываемого на пользовательский запрос к базе данных. Данная работа не ставит целью получение новых результатов в области математической логики, а лишь использует имеющиеся результаты в применении к логическим ограничениям языка SQL, расширяя таким образом возможности анализа пользовательских запросов по сравнению с классическими подходами СУБД, где нет возможности частичного или комбинированного использования закэшированных запросов. В книге [4] подробно описано то, как логика предикатов используется в языке SQL в виде реляционного исчисления (relational calculus), а также приведены основные эквивалентности логических предикатов, используемые в данной статье
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
More From: Bulletin of the South Ural State University. Series "Computational Mathematics and Software Engineering"
Disclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.