Wyniki wyszukiwania - BazTech

1

Towards a solution to a plan-formation problem

Winkowski J.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

2002

|

Nr 948

1-18

EN

The paper deals with the problem of achieving a goal in a system in which certain actions can be executed. The initial state and the states that may be reached from this state by executing actions are represented by sets of sente nces, each sentence saying that some objects are or are not in a relation. Available actions are represented as instances of rewriting rules. The problem consists in finding a sequence of actions that leads from the initia l state to a state in which the goal is achieved. The presented solution to this problem for a class of systems is based on reducing it to the problem of reachability in contextual Petri nets.

PL

Praca dotyczy problemu osiągania celu w systemie, w którym można wykonywać pewne akcje. Stan początkowy i stany, które moga być z tego stanu osiągnięte przez wykohnywanire akcji, są reprezentowane przez zbiory zadań, z których każde orzeka, że pewne obiekty są lub nie są w pewnych relacjach. Możliwe akcje sa reprezentowane jako instancje pewnych reguł przekształcania. Problem polega na znalezieniu ciągu akcji prowadzącego ze stanu początkowego do stanu, w którym cel jest osiągnięty. Proponowane rozwiązanie tego problemu dla pewnej klasy systemów polega na jego redukowaniu do problemu osiągalności w kontekstowych sieciach Petriego.

2

Optimization of object-oriented queries by factoring out independent subqueries

Płodzień J., Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

1999

|

nr 889

1-16

EN

We generalize query optimization methods based on rewriting for a general object-oriented model and a formalized OQL-like query language. Our approach makes it possible to detect and factor out independent subqueries in queries bulit upon traditional or new query operators, including dependent joins of OQL, quantifiers, generalized path expressions and method invocations. In contrast to well-known methods relying on specific patterns of algebraic or calculus expressions, our methodis based on a formal analysis of scoping and binding rules for names occuring in a query and its subqueries. It neither depends on the complexity of an independent subquery nor on the operator connecting this subquery to its parent query. Being very general, the method is simple to understand and analyze. We follow the stack-based approach to object-oriented query languages (having roots in the semantics of programming languages), rather than object algebras or calculi.

PL

W pracy przedstawiamy uogólnienie metod optymalizacji zapytań opartych na przepisywaniu dla ogólnego modelu obiektowego i sformalizowanego języka zapytań w duchu OQL. Nasze podejście umożliwia wykrywanie i "wyciąganie przed nawias" niezależnych podzapytań wystepujących w zapytaniach konstruowanych przy pomocy tradycyjnych i nowych operatorów, m. in. zależnych złączeń z języka OQL, kwantyfikatorów, uogólnionych wyrażeń ścieżkowych i wywołań metod. W przeciwieństwie do dobrze znanych metod operujących na specyficznych wzorach wyrażeń algebraicznych lub wyrażeń pewnego rachunku, nasza metoda jest oparta na formalnej analizie zakresów i reguł wiązania dla nazw wystepujących w danym zapytaniu i jego podzapytaniach. Nie zależy ona ani od stopnia złożoności niezależnego podzapytania, ani od rodzaju operatora lączącego go z pytaniem nadrzędnym. Metoda ta jest jednocześnie ogólna oraz łatwa do zrozumienia i wykorzystania do analizy zapytań. W naszej metodzie używamy podejścia stosowego do obiektowych zapytań (które ma korzenie w semantyce języków programowania) zamiast obiektowych algebr i rachunków.

3

Kompilacja i optymalizacja obiektowych zapytań

Płodzień J., Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

|

1998

|

nr 869

3-48

PL

W pracy przedstawiamy wstępną propozycję sposobu kompilacji i optymalizacji zapytań w obiektowych bazach danych. Z istniejących podejść obiektowych wybraliśmy podejście stosowe zaimplementowane w systemie LOQIS. Jako ogólną metodę optymalizacji zapytań proponujemy wykorzystanie reguł przepisywania. Za ich pomocą przekształcamy tekstową postać zapytania do takiej semantycznie równoważnej postaci, której czas ewaluacji jest krótszy. Na koniec krótko dyskutujemy możliwość użycia do optymalizacji zapytań indeksów, przy pomocy zbioru specjalnych funkcji.

EN

We address the problem of query compilation and optimization in object-oriented data bases. From the existing object-oriented approaches we have chosen the stack-based approach implemented in the LOQIS system. As a general method of query optimization we use rewriting rules. They transform the textual form of a query into such a semantically equivalent form, for which the time of evaluation is shorter. Finally we briefly discuss the possibility of using indexes for query optimization, which can be accomplished by involving a set of special functions.