Archiv/Formální základy databázové technologie/Datalog
|
54 |
2015-06-07 08:32:02z |
19044 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
53 |
2015-05-31 19:27:50z |
19025 |
|
admin
|
MediaWiki |
[PeterBlack] /* Deduktivní databáze */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
52 |
2015-05-31 19:11:50z |
19015 |
|
admin
|
MediaWiki |
[PeterBlack] /* Deduktivní databáze */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
51 |
2015-05-28 19:47:07z |
18971 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
50 |
2015-05-28 19:45:57z |
18967 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
49 |
2015-05-28 11:09:22z |
18878 |
|
admin
|
MediaWiki |
[PeterBlack] /* Datalog, 3 sémantiky a jejich ekvivalence. */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
48 |
2015-04-30 09:30:20z |
18895 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
47 |
2015-04-30 09:29:21z |
18895 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
46 |
2015-04-30 09:25:34z |
18834 |
|
admin
|
MediaWiki |
[PeterBlack] /* Datalog¬ */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
45 |
2015-04-30 09:19:26z |
18821 |
|
admin
|
MediaWiki |
[PeterBlack] /* Datalog s negací */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
44 |
2015-04-30 09:17:53z |
18831 |
|
admin
|
MediaWiki |
[PeterBlack] /* Stratifikovaný DATALOG¬ */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
43 |
2015-04-30 09:13:18z |
18925 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
42 |
2015-04-30 09:12:40z |
18916 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
41 |
2015-04-30 09:02:01z |
18890 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
40 |
2015-04-30 09:01:21z |
18890 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
39 |
2015-04-30 08:56:39z |
18885 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
38 |
2015-04-30 08:56:00z |
18887 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
37 |
2015-04-30 08:45:06z |
18895 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
36 |
2015-04-30 08:42:40z |
18862 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
35 |
2015-04-30 08:36:00z |
18850 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
34 |
2015-04-30 08:33:47z |
18878 |
|
admin
|
MediaWiki |
[PeterBlack] /* Nerekurzivní program */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
33 |
2015-04-30 08:28:28z |
18683 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
32 |
2015-04-30 08:12:10z |
18502 |
|
admin
|
MediaWiki |
[PeterBlack] /* bezpečná pravidla v Datalogu */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
31 |
2015-04-30 08:07:52z |
18552 |
|
admin
|
MediaWiki |
[PeterBlack] /* Datalog, 3 sémantiky a jejich ekvivalence. */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
30 |
2015-04-30 08:04:59z |
18549 |
|
admin
|
MediaWiki |
[PeterBlack] /* pomocí pevného bodu zobrazení (Fixpoint Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
29 |
2015-04-30 08:04:29z |
18551 |
|
admin
|
MediaWiki |
[PeterBlack] /* pomocí pevného bodu zobrazení (Fixpoint Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
28 |
2015-04-30 07:58:24z |
18521 |
|
admin
|
MediaWiki |
[PeterBlack] /* Algoritmy vyhodnocení dotazů v Datalogu a Datalogu s negací */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
27 |
2015-04-30 07:46:07z |
18627 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
26 |
2015-04-30 07:33:42z |
18556 |
|
admin
|
MediaWiki |
[PeterBlack] /* pomocí pevného bodu zobrazení (Fixpoint Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
25 |
2015-04-30 06:42:33z |
17586 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
24 |
2015-04-30 06:41:06z |
17587 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
23 |
2015-04-30 06:09:19z |
17279 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
22 |
2015-04-29 12:54:53z |
17479 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
21 |
2015-04-29 12:53:52z |
17428 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
20 |
2015-04-29 12:34:21z |
17126 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
19 |
2015-04-29 12:30:18z |
17183 |
|
admin
|
MediaWiki |
[PeterBlack] /* Algoritmy vyhodnocení dotazů v Datalogu a Datalogu s negací */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
18 |
2015-04-29 12:29:25z |
17175 |
|
admin
|
MediaWiki |
[PeterBlack] /* Algoritmy vyhodnocení dotazů v Datalogu a Datalogu s negací */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
17 |
2015-04-29 12:23:37z |
17257 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
16 |
2015-04-29 12:02:17z |
15328 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
15 |
2015-04-29 11:58:40z |
15128 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
14 |
2015-04-29 11:55:50z |
15144 |
|
admin
|
MediaWiki |
[PeterBlack] /* stratifikace */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
13 |
2015-04-29 11:52:31z |
15150 |
|
admin
|
MediaWiki |
[PeterBlack] /* logicko-modelový přístup (Model-Theoretic Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
12 |
2015-04-29 11:04:07z |
14585 |
|
admin
|
MediaWiki |
[PeterBlack] /* logicko-modelový přístup (Model-Theoretic Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
11 |
2015-04-29 10:59:48z |
14542 |
|
admin
|
MediaWiki |
[PeterBlack] /* Datalog, 3 sémantiky a jejich ekvivalence. */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
10 |
2015-04-29 10:48:50z |
14514 |
|
admin
|
MediaWiki |
[PeterBlack] /* logicko-modelový přístup (Model-Theoretic Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
9 |
2015-04-29 10:46:22z |
14473 |
|
admin
|
MediaWiki |
[PeterBlack] /* logicko-modelový přístup (Model-Theoretic Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
8 |
2015-04-29 10:32:21z |
14470 |
|
admin
|
MediaWiki |
[PeterBlack] /* logicko-modelový přístup (Model-Theoretic Semantics) */ |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
7 |
2015-04-29 10:25:12z |
14458 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
6 |
2015-04-29 10:24:01z |
14453 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|
Archiv/Formální základy databázové technologie/Datalog
|
5 |
2015-04-29 10:20:49z |
12263 |
|
admin
|
MediaWiki |
[PeterBlack] |
|
|
|
|
|
|