Generating Plans From Proofs

de Michael Benedikt, Efthymia Tsamoura, Balder Ten Cate e Julien Leblay 

eBook
Bertrand.pt - Generating Plans From Proofs
idioma: Inglês
Editor: Springer International Publishing
Edição: junho de 2022
Formatos Disponíveis:
10%
59,61€
Poupe 5,96€ (10%) Cartão Leitor Bertrand
Disponibilidade Imediata
EBOOK PARA ADOBE DIGITAL EDITIONS (ADE)

Query reformulation refers to a process of translating a source queryâ€"a request for information in some high-level logic-based languageâ€"into a target plan that abides by certain interface restrictions. For example, the problem of translating an SQL query written over a set of base tables into another query written over a set of views;

Coleções

Generating Plans From Proofs
de Michael Benedikt, Efthymia Tsamoura, Balder Ten Cate e Julien Leblay 
ISBN:
9783031018565
Ano de edição:
06-2022
Editor:
Springer International Publishing
Idioma:
Inglês
Tipo de Produto:
eBook
Formato:
PDF para ADE i
EAN:
9783031018565
10% cartão
portes grátis
10% cartão
portes grátis
59,08€

poupe 5,91€

10% cartão
portes grátis
10% cartão
portes grátis
10% cartão
portes grátis
10% cartão
portes grátis
10% cartão
X
O QUE É O CHECKOUT EXPRESSO?

O ‘Checkout Expresso’ utiliza os seus dados habituais (morada e/ou forma de envio, meio de pagamento e dados de faturação) para que a sua compra seja muito mais rápida. Assim, não tem de os indicar de cada vez que fizer uma compra. Em qualquer altura, pode atualizar estes dados na sua ‘Área de Cliente’.

Para que lhe sobre mais tempo para as suas leituras.