«relational-structures» etiketlenmiş sorular

İlişkisel veritabanlarını anlamak için en az iki farklı teorik yaklaşımın farkındayım: Codd'un ilişkisel cebiri / hesabı ve kategori teorisi. Bu iki yaklaşım arasında herhangi bir ilişki var mı? Bir anlamda eşdeğer midirler? Bu çerçevelerin her ikisinin de ilişkisel veritabanlarını nasıl açıkladığını açıklayan herhangi bir giriş çalışması var mı? Tarihsel Bilgiler: …

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

Kalıtsal bir yapı sınıfı (örn. Grafikler) indüklenmiş alt-yapılar altında kapalı veya eşdeğer şekilde tepe noktası çıkarma altında kapalı olan yapılardır. Bir küçüğü hariç tutan grafik sınıfları, hariç tutulan belirli minörlere bağlı olmayan güzel özelliklere sahiptir. Martin Grohe, bir minör hariç grafik sınıfları için izomorfizm için bir polinom algoritması ve sayımlı …

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

İlişkisel veritabanı teorisi ve ilgili alanlardaki son gelişmelerin neler olduğunu merak ediyorum? Son yıllarda geliştirilen yeni yaklaşımlar, sorgu dilleri (SQL ve / veya uzantılarına alternatifler), ürünler (patentli ve açık kaynak, daha çok açık kaynakla ilgileniyorum) ve araştırma projeleri ile ilgileniyorum.

12 db.databases  relational-structures 

Let sonlu bir yapı olabilir. İlk sipariş teorisi yapar T : = T , H ( A ) bir olduğu anlamda, sınırlı niceleyici dereceye sahip q ∈ N , öyle ki tüm cp ∈ T ile q r ( φ ) > q, olduğu bir φ ' ∈ T ile …

11 co.combinatorics  lo.logic  relational-structures