| Your search for 51931 returns 352 document(s) |
| Safety of Datalog Queries over Infinite Databases (160-171) |
|
Author: Yehoshua Sagiv
Moshe Y. Vardi; | Call Number: SEM-379 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On Distributed Processibility of Datalog Queries by Decomposing Databases (26-35) |
|
Author: Guozhu Dong; | Call Number: SEM-228 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Evaluating Top-k Queries Over Web-Accessible Databases, page 319-362 |
|
Author: A. Marian, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Continuous queries over append - only databases (hal 321 - 330 ) |
|
Author: Douglas Terry, David Goldberg, David Nichols, and Brian Oki; | Call Number: SEM - 359 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the Expected Size of Recursive Datalog Queries (268-279) |
|
Author: S. Seshadri
Jeffrey F. Naughton; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| On the Representation of Infinite Temporal Data and Queries (280-290) |
|
Author: Marianne Baudinet
Marc Niezette
Pierre Wolper; | Call Number: SEM-350 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Schemas and Queries over P2P (808-817) |
|
Author: Pedro Furtado; | Call Number: SEM-375 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Safety and translation of relational calculus queries, page 235 |
|
Author: Gelder, Allen Van | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Lazy theorem proving for bounded model checking over infinite domains, Hal. 438-455 |
|
Author: Leonardo de Moura, Harald Rueb, Maria Sorea; | Call Number: SEM-281 | Type: Indeks Artikel prosiding/Sem
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
| Database Theory: Relational Queries over Interpreted Structure |
|
Author: M. Benedict, [et all] | Type: Indeks Artikel Jurnal
|
|
Find Similar |
Add To Favorites |
Detail in New Window
|
Search Result