Wyniki wyszukiwania - BazTech

Ograniczanie wyników

Powiadomienia systemowe

Sesja wygasła!

Znaleziono wyników: 4

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: query compilation

Sortuj według:

Ogranicz wyniki do:

Query compilation under the disjunctive well-founded semantics

Johnson C. A.

Fundamenta Informaticae

2004

Vol. 62, nr 3,4

343--368

A top-down method is presented for compiling queries in unstratified propositional disjunctive deductive databases under the disjunctive well-founded semantics. Compilation entails the construction of a set of compilation trees, and the run-time processing of the compiled query then amounts to checking that some such tree can be extended within the extensional database to yield a tree that encapsulates a proof of the original query. Issues surrounding the extension of our techniques to the first order level are discussed.

Processing Indefinite Deductive Databases under the Possible Model Semantics

Johnson C.A.

Fundamenta Informaticae

2002

Vol. 49, nr 4

325-347

The relationship between possible and supported models of unstratified indefinite deductive databases is studied, when disjunction is interpreted inclusively. Possible and supported models are shown to coincide under a suitable definition of supportedness, and the concept of a supported cover is introduced and shown to characterise possible models and facilitate top-down query processing and compilation under the possible model semantics. The properties and query processing of deductive databases under the possible model semantics is compared and contrasted with the perfect model semantics.

Processing deductive databases under the disjunctive stable model semantics

Johnson C.A.

Fundamenta Informaticae

1999

Vol. 40, Nr 1

31-51

Cyclic covers are shown to characterise disjunctive stable models of unstratified deductive databases, and to facilitate top-down query processing, query compilation and view updating under the disjunctive stable model semantics. Such processing is shown to be more complex than comparable processing of stratified databases.

Kompilacja i optymalizacja obiektowych zapytań

Płodzień J., Subieta K.

Prace Instytutu Podstaw Informatyki Polskiej Akademii Nauk

1998

nr 869

3-48

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.

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.