Pertanyaan yang diberi tag «relational-structures»

Saya menyadari setidaknya dua pendekatan teoretis yang berbeda untuk memahami basis data relasional: aljabar / kalkulus relasional Codd, dan teori kategori. Apakah ada hubungan antara kedua pendekatan ini? Apakah mereka dalam beberapa hal setara? Apakah ada pekerjaan pendahuluan yang menjelaskan bagaimana kedua kerangka kerja ini menjelaskan basis data relasional? Latar …

17 reference-request  ct.category-theory  db.databases  relational-structures 

Kelas struktur herediter (misalnya grafik) adalah yang ditutup di bawah substruktur yang diinduksi, atau setara, ditutup di bawah penghapusan verteks. Kelas grafik yang mengecualikan minor memiliki properti bagus yang tidak bergantung pada minor yang dikecualikan tertentu. Martin Grohe menunjukkan bahwa untuk kelas grafik tidak termasuk minor ada algoritma polinom untuk …

15 cc.complexity-theory  graph-theory  relational-structures 

Saya bertanya-tanya apa saja kemajuan terbaru dalam teori basis data relasional dan domain terkait? Saya tertarik pada pendekatan baru, bahasa query (alternatif untuk SQL dan / atau ekstensi untuk itu), produk (proprietary dan open source, meskipun saya jauh lebih tertarik pada open source) dan proyek penelitian yang dikembangkan dalam beberapa …

12 db.databases  relational-structures 

Biarkan menjadi struktur berhingga apa pun. Apakah teori urutan pertama telah membatasi peringkat quantifier, dalam arti ada sedemikian rupa sehingga untuk semua dengan ada dengan dan ?T : = T H ( A ) q ∈ N φ ∈ T q r ( φ ) > q φ ′ ∈ …

11 co.combinatorics  lo.logic  relational-structures