Native queries (aneb databáze a OOP)

zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Native queries (aneb databáze a OOP)
« Odpověď #15 kdy: 30. 08. 2015, 16:09:53 »
Když se SQL generuje z bajtkódu v runtime, je to NQ, ale když se generuje za běhu programu, je to SODA? Trochu se to komplikuje...

Ehm, není to přesně to samé? Nebo jde jen o ten bytekód (to nezní moc obecně)?

Myslel jsem to tak, že pro NQ je potřeba nějaká manipulace s batekódem (po kompilaci) anebo podpora v runtime (která s bajtkódem něco dělá za běhu), kdežto SODA jen jednoduše pospojuje řetězce a hotovo.

NQ jsou v podstatě záležitost compile time (v ideálním případě). SODA je záležitost run time.


Re:Native queries (aneb databáze a OOP)
« Odpověď #16 kdy: 30. 08. 2015, 16:18:18 »
"Textová" syntax nikdy není NQ. NQ vůbec nesouvisí s bajtkódem (ani s Javou), jen to prostě v Javě jinak než přes bajtkód nejde.
ORM je způsob ukládání objektů do relační databáze. S dotazy nijak nesouvisí. Perzistence je jiná vrstva (buď OODB nebo ORM) někde pod OO rozhraním.
Suma sumarum SODA je primitivní překlad do OQL nebo něčeho podobného, kdežto NQ je zápis přímo v jazyce (proto "native").

Dobře, jak vznikne z NQ ten SQL?

OQL, ne SQL. To je právě ta magie. V Javě z bajtkódu, jinak se musí nějak poskládat AST. Když jsem si s tím hrál naposledy v C++, microsoftí překladač zkolaboval a v clangu jsem tak našel bug v linkeru. Swift to v poslední verzi zvládá hezky (operátor se dá přetížit několikrát s různými návratovými hodnotami a automatická inference typu udělá z "x == 100" buď bool nebo predikát podle místa použití - tak má ostatně OOP vypadat), jen ta implicitní konverze chybí.

A NQ interpretuje tedy libovolný nativní kód? To by byl ten principielní rozdíl oproti v SODA, kde jsou jen předpřipravené metody....

NQ jsou v podstatě záležitost compile time (v ideálním případě). SODA je záležitost run time.

Aha, v tom případě si nedokážu představit, jak NQ funguje. To jako analyzuju bytekód (v případě javy) a nahradím v něm nativní zápis dotazu za něco jiného? Vygeneruju kód na míru mému nativnímu dotazu?

zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Native queries (aneb databáze a OOP)
« Odpověď #17 kdy: 30. 08. 2015, 16:27:41 »
A NQ interpretuje tedy libovolný nativní kód? To by byl ten principielní rozdíl oproti v SODA, kde jsou jen předpřipravené metody....

Libovolný ne, ale může se z toho vytvořit parciální dotaz, který předfiltruje objekty a zbytek se inicializuje a otestuje. NQ může být v podstatě cokoliv typu boolean.

Aha, v tom případě si nedokážu představit, jak NQ funguje. To jako analyzuju bytekód (v případě javy) a nahradím v něm nativní zápis dotazu za něco jiného? Vygeneruju kód na míru mému nativnímu dotazu?

V Javě jo. Jinak se (v nějakém lepším jazyce) z boolovského výrazu vytvoří AST a z něj následně OQL nebo cokoliv, co vzniká i ze SODY.
Ono to je celé hodně komplikované a jen to ukazuje, že dnešní OOP v praxi dost pokulhává (každý jazyk trochu jinak). Až bude Swift opensourcován, stačí přidat do něj implicitní konverze (což bude vlastně uncommenting vyřzeného kódu) a máme (z pohledu OODB) ideální jazyk.


Re:Native queries (aneb databáze a OOP)
« Odpověď #19 kdy: 31. 08. 2015, 12:09:08 »
Díky, nejdřív jsem myslel, že posíláš svojí diplomku :-) ale vypadá to, že to psal někdo jiný. Naštěstí to je psané docela srozumitelně.

Koukal jsem ještě na LINQ a jestli to je integrální součást C# tak to je docela frajeřina.


bsmk

Re:Native queries (aneb databáze a OOP)
« Odpověď #20 kdy: 31. 08. 2015, 12:13:08 »
Ku konceptu NQ ma blizko v scale napisana kniznica Slick (http://slick.typesafe.com/).

Franta <xkucf03/>

Re:Native queries (aneb databáze a OOP)
« Odpověď #21 kdy: 08. 09. 2015, 22:28:00 »
Koukni taky na http://www.jooq.org/ – umožňuje psát typově bezpečné dotazy. Je to někde na půli cesty mezi psaním čistého SQL a ORM.
Pleteš si (stejně jako perceptron) NQ a SODA.

Píšu, ať se na to podívá, ne že je to NQ. Ono někdy poslouží líp nástroj typu JOOQ, než tam přidávat ještě další úroveň abstrakce (a svým způsobem magie) a posouvat se ještě dál od nativního jazyka, se kterým pracuje databáze. V extrémních případech je i ručně psané SQL příliš vysokoúrovňové a optimalizátor v databázi nesestaví plán tak, jak bys potřeboval.

zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Native queries (aneb databáze a OOP)
« Odpověď #22 kdy: 09. 09. 2015, 14:15:40 »
Koukni taky na http://www.jooq.org/ – umožňuje psát typově bezpečné dotazy. Je to někde na půli cesty mezi psaním čistého SQL a ORM.
Pleteš si (stejně jako perceptron) NQ a SODA.

Píšu, ať se na to podívá, ne že je to NQ. Ono někdy poslouží líp nástroj typu JOOQ, než tam přidávat ještě další úroveň abstrakce (a svým způsobem magie) a posouvat se ještě dál od nativního jazyka, se kterým pracuje databáze. V extrémních případech je i ručně psané SQL příliš vysokoúrovňové a optimalizátor v databázi nesestaví plán tak, jak bys potřeboval.

JOOQ jen generuje kód. "Magie" to je jen pro někoho, kdo neví, jak to funguje. Taky by to mělo být efektivnější.

Franta <xkucf03/>

Re:Native queries (aneb databáze a OOP)
« Odpověď #23 kdy: 09. 09. 2015, 22:58:24 »
JOOQ jen generuje kód. "Magie" to je jen pro někoho, kdo neví, jak to funguje. Taky by to mělo být efektivnější.

Neříkám, že NQ je špatné, naopak, je to dost zajímavá věc… Ale jistou magičnost tomu upřít nelze – v zásadě jde o funkci, která převádí výraz v jednom jazyce na výraz v jiném jazyce (třeba Java → SQL nebo Java → JPQL) a problém je v tom, že definiční obor té funkce je velmi široký (formálně) a obor hodnot je oproti tomu hodně omezený a tak úplně to na sebe nepasuje. Jen malá podmnožina hodnot definičního oboru dává smysl a je rozumně převoditelná na výstup.

Na jednu stranu tedy NQ pomáhá (píšu v Javě, kompilátor mi kontroluje výrazy), ale na druhou stranu škodí – zvyšuje nejistotu (ne vše, co jde zkompilovat, je OK), zatemňuje, přidává další úroveň abstrakce/nepřímosti a klade vyšší nároky na programátora.

Rozhodně nechci NQ zavrhovat, ale přijde mi hloupé odsuzovat nástroje typu JOOQ a považovat je za něco nedostatečného – když právě tyhle nástroje můžou být lepší volbou.

zboj

  • *****
  • 1 507
    • Zobrazit profil
    • E-mail
Re:Native queries (aneb databáze a OOP)
« Odpověď #24 kdy: 10. 09. 2015, 02:17:25 »
JOOQ jen generuje kód. "Magie" to je jen pro někoho, kdo neví, jak to funguje. Taky by to mělo být efektivnější.

Neříkám, že NQ je špatné, naopak, je to dost zajímavá věc… Ale jistou magičnost tomu upřít nelze – v zásadě jde o funkci, která převádí výraz v jednom jazyce na výraz v jiném jazyce (třeba Java → SQL nebo Java → JPQL) a problém je v tom, že definiční obor té funkce je velmi široký (formálně) a obor hodnot je oproti tomu hodně omezený a tak úplně to na sebe nepasuje. Jen malá podmnožina hodnot definičního oboru dává smysl a je rozumně převoditelná na výstup.

Na jednu stranu tedy NQ pomáhá (píšu v Javě, kompilátor mi kontroluje výrazy), ale na druhou stranu škodí – zvyšuje nejistotu (ne vše, co jde zkompilovat, je OK), zatemňuje, přidává další úroveň abstrakce/nepřímosti a klade vyšší nároky na programátora.

Rozhodně nechci NQ zavrhovat, ale přijde mi hloupé odsuzovat nástroje typu JOOQ a považovat je za něco nedostatečného – když právě tyhle nástroje můžou být lepší volbou.

Vyšší nároky nikde nevidím, spíš naopak. NQ nepřidává žádnou úroveň, naopak ubírá.