Nalezeno 14 výsledků hledání
Přejít na rozšířené vyhledávání
- 20. 5. 2009 19:46
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Alebo dame rano, aby sme si pohli poobede uzivat pekny den?
- 20. 5. 2009 18:49
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Ahoj. Prave, ze ono by sa komprimovali preryvajuce sufixy s prefixami, ale v matici z trie to nikdy nenastane. Asi mas pravdu v tom, ze na nedefinovane riadky sa nikdy nikto nespyta. Aj ked si nie som celkom isty. JJ v strede riadku sa uz NIL nevymaze. Ja byvam na koleji Otava. Zajtra by som to navr...
- 20. 5. 2009 00:21
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Musim uznat, ze si sa do mojej vedomostnej diery trafil uplne presne. Tuto temu som vzdy tak nejak presiel s tym, ze je to prilis komplikovane a ku kompresii poviem nieco ine :) Ale ked uz padla takto dobre cielena otazka, pozrel som pdf, na ktore si dal link. Zakladna myslienka je urcita linearizac...
- 18. 5. 2009 16:36
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Session je rozhodne dobry napad. Ak mas nejake temy, ktore by si chcel prediskutovat, tak mozeme. Nieco by sa naslo aj u mna a verim, ze pri nejakej debate toho este vela vyplave na povrch.
Ja mam cele dni volno. Takze mi sedi skoro lubovolny termin.
Ja mam cele dni volno. Takze mi sedi skoro lubovolny termin.
- 18. 5. 2009 08:31
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Asi uz necham Datalog datalogom. Je jedno ako presne to je. Nieco o tom viem povedat. Hlavna otazka "ako dostat z najmensieho pevneho bodu riesenie" je zodpovedana "ak je query z NPB, tak to ide vyvodit z EDB pomocou IDB". Diki moc za spolupracu! Dufam, ze keby sa este nieco podo...
- 17. 5. 2009 23:04
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Priznam sa rovno, ze si ma trochu zneistil tym musis skonstruovat instanciu Instanciou je myslena materializovana virtualna relacia Component? (Teda nad aktualnymi faktami EDB aplikovane pravidla IDB. Nejaka podcast najmensieho pevneho bodu celeho programu.) Tiez sa mi zda, ze predsa len odkazujeme ...
- 17. 5. 2009 20:07
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Re: Datalog (semantika pomocou najmensieho pevneho bodu)
Ahoj. Dik za vycerpavajucu odpoved. Spominanu knihu som si prave v piatok pozical :) Vyzera, ze si sa v tom zorientoval fakt rychlo. Ak mozem, dal by som sem nejake moje chapanie veci. Mozno sa este najde nieco k diskusii. Takze cely ten bordel s najmensim pevnym bodom je o tom, aby sme to vedeli al...
- 4. 5. 2009 17:23
- Fórum: Magisterské SZZ
- Téma: Datalog (semantika pomocou najmensieho pevneho bodu)
- Odpovědi: 15
- Zobrazení: 8094
Datalog (semantika pomocou najmensieho pevneho bodu)
Zdravim. Urcite nie som jediny, kto sa momentalne pripravuje na SZZ. Zvolil som si aj okruh, ktory zahrna Datalog. Po urcitej snahe si myslim, ze som pochopil sposob vyhodnotenia v nerekurzivnom pripade. Nie som si ale isty tym ako to funguje pri rekurzivnej verzii ci dokonca s negaciou. Algoritmy h...
- 18. 3. 2009 19:30
- Fórum: Magisterské SZZ
- Téma: Vypracovane otazky
- Odpovědi: 7
- Zobrazení: 5421
Re: Vypracovane otazky
Neskusime dat nieco dokopy?
- 28. 2. 2009 19:54
- Fórum: 2005
- Téma: Requesty na předměty + reorganizace
- Odpovědi: 83
- Zobrazení: 2756933
Re: Requesty na předměty + reorganizace
Ma niekto predstavu o com je otazka:
Logické problémy konstrukce informačního systému
???
Logické problémy konstrukce informačního systému
???
- 28. 2. 2009 19:53
- Fórum: Magisterské SZZ
- Téma: Vypracovane otazky
- Odpovědi: 7
- Zobrazení: 5421
Re: Vypracovane otazky
Pracuje/pracoval teda niekto na vypracovani tych otazok?
TEST: 20: INITI 21: LDLITI LITINT[0] 22: MINUSI 23: LDLITI LITINT[1] 24: ADDI 25: LDLITI LITINT[2] 26: ADDI 27: GSTI [0] 28: GLDI [0] 29: CALL 9 ;; label=WRITEI 30: DTORI 31: CALL 18 ;; label=WRITELN 32: DTORI 33: HALT Vsimol som si to skor, ale myslel som, ze som to sposobil mojou chybou, takze so...
Myslim, ze na navratovou hodnotu z funkce si clovek musi udelat nejakou pomocnou promennou, kterou nazve tak, aby mu nekolidovala s nazvy identifikatoru. Ale je to jen moje pracovni verze, mozna to jde nejak lepe... To myslis akoze normalne volat add_var ? Ako potom generujes nekolidujuce meno? Nev...