Misalkan saya memiliki situasi di mana saya merancang situs web untuk pengecer sepatu. Mereka memiliki berbagai merek dan jenis sepatu dan tentu saja, mereka menginginkan fungsi pencarian yang sangat baik.
Jadi ada berbagai sifat yang bisa dimiliki sepatu. Mereka dapat memiliki properti eksklusif, seperti ukuran, lebar, jenis kelamin, dan anak-anak / orang dewasa. Atau mereka dapat memiliki sifat non-eksklusif seperti warna (mungkin ada dua atau lebih warna pada sepatu). Beberapa kategori mungkin bertentangan dengan yang lain, seperti 'pakaian' dan 'kasual' (sepatu tidak bisa berupa sepatu pakaian dan sneaker (mengabaikan sepatu pakaian "kenyamanan" untuk contoh ini)), sedangkan mereka tidak bertentangan dengan belum yang lain, seperti 'pakaian' dan 'sepatu boot' (sepatu bisa menjadi sepatu boot). Properti eksklusif mudah dimodelkan, tetapi bagaimana dengan properti yang berpotensi bertentangan? Apakah ini akan menjadi masalah untuk teori himpunan?
Apa yang akan disebut ilmu komputer terapan seperti ini, secara umum? Pemodelan data, atau sesuatu yang lebih spesifik? Saya ingin masuk ke prinsip-prinsip filosofis yang lebih abstrak, seperti properti eksklusif dan non-eksklusif, dan melihat bagaimana prinsip-prinsip tersebut diimplementasikan dalam kode, struktur data, dan skema basis data.
Contoh yang baik dari apa yang saya bicarakan adalah algoritma traversal pohon preorder yang dimodifikasi . Ini cara yang bagus untuk membuat sistem kategorisasi hierarkis bersarang. Jadi Anda memiliki masalah organisasi kehidupan nyata: kategori, dan kemudian Anda memiliki struktur data yang menjadi model masalah itu.
Di mana saya dapat mempelajari lebih lanjut tentang jenis barang ini?