Browsing by Author "Karakaya, Ziya"

Now showing 1 - 20 of 38

3 boyutlu mikrokanallarda parçacık akış problemleri ̇ıçin sınır eleman yöntemi tabanlı özel bir paralel formülasyon tasarımı ve uygulaması
(2015) Karakaya, Ziya; Baranoğlu, Besim; Yazıcı, Ali; Manufacturing Engineering; Computer Engineering
Bu çalışmada mikroakışkan uygulamalarındaki kıvamlı yavaş akışta birden çok parçacığı izlemek için yeni bir formülasyon sunulmaktadır. Yöntem, sınır eleman matrislerinin manipülasyonu işlemininden sonra, parçacığın katı bünye hızları ile üzerine etki eden kuvvetleri ilişkilendiren bir denklem sistemi elde etmektedir. Formülasyon, SMP paralelleştirme yönteminin uygulandığı ardışık matris çarpımı işlemleri sonucunda özellikle parçacığın yörüngesinin takibi için tasarlanmıştır. Mevcut formülasyon, parçacık izleme işlemi için kullanılmak üzere etkili bir sayısal model sunmaktadır ve kolay bir şekilde birden çok fiziksel etkinin içerildiği çoklu-fizik simülasyonları için genişletilebilir olduğu görülmektedir.
Akıllı evler için nesnelerin interneti (IoT) tabanlı referans mimarisi tasarımı ve uygulaması
(2022) Bello, Abdussamad; Karakaya, Ziya; Computer Engineering
Birlikte Çalışabilirlik olarak adlandırılan; uygulamaların, sistemlerin, cihazların ve servislerin birlikte güvenilir ve tutarlı bir şekilde çalışabilmesi günümüz akıllı ev sistemlerinin en önemli sorunlarından biridir. Birlikte çalışabilirlik eksikliği ve buna eşlik eden teknolojik bölümlenme (yani, aynı ortamdaki farklı cihazların farklı uygulamalar ile yönetilmesi) akıllı ev geliştiricileri için büyük bir bariyer ve tüketicilerin ev ortamlarındaki IoT ürünlerini kabullenilmesine karşı direnç oluşturmaktadır. Bu çalışmanın amacı, birlikte çalışabilirliği artırırken akıllı ev ortamındaki cihaz ve hizmetlerden gelen verileri yönetecek, izleyecek ve işleyecek IoT tabanlı bir Akıllı Ev Referans Mimarisi oluşturmaktır. Bu çalışma aynı zamanda, FIWARE bileşenlerini kullanarak önerilen referans mimarisine uygun bir kavram kanıt çözümünü ortaya koymaktadır. Bu çalışmanın yürütülmesi sırasında mevcut çalışmalar ve sorunları analiz edilmiş, bunlara çözüm sunmak için ise yapıcı araştırma metodolojisi ve ProSA-RA süreci kullanılmıştır. Akıllı ev ekosistemindeki uçurumları kapatmak üzere akıllı ev geliştiricileri, mimarilerini, uygulamalarını ve cihazlarını oluştururken bu çalışmada önerilen referans mimariyi benimsemesi önerilmektedir. Anahtar Kelimeler: Nesneleri İterneti (IoT), Akıllı Ev Sistemleri, Referans Mimari, Akıllı Ev Kavram Kanıtı Uygulaması, FIWARE, ProSA-RA
Araştırma tabanlı yazılım projeleri için yeni bir yazılım geliştirme metodolojisi
(2019) Cereci, İbrahim; Karakaya, Ziya; Computer Engineering
Orta ve büyük ölçekli yazılım geliştirme projeleri genellikle bir çok takım üyesi tarafından birlikte geliştirilirler. Takım üyelerinin koordine edilmesi, grup için uygun geliştirme yöntemleri kullanılması ve grubun yazılım geliştirme sürecinin kontrolü zor problemlerdir. Yazılım geliştirme metotları yoğunlukla bu zor problemlerin çözümü için kullanılmaktadırlar. Var olan yazılım geliştirme metotları her ne kadar endüstrinin ihtiyaçlarını karşılasalar dahi, akademisyenler tarafından üniversitelerde yürütülen araştırma tabanlı yazılım geliştirme proje ihtiyaçlarını sağlamaya yönelik değillerdir. Bu çalışmada; araştırma tabanlı yazılım projeleri için yeni bir metotun gerekli olduğunu ortaya koymak adına, bu alanda çalışan kişilerin ihtiyaçları ve üstün yöntemleri nitel bir çalışma ile toplanıp, toplanan veriler ışığında da, araştırma tabanlı yazılım projeleri için yeni bir yazılım geliştirme metotu sunulmuştur. Önerilen metot alan uzmanlarının sağladığı uzman görüşleri ile değerlendirilip araştırma tabanlı yazılım projeleri için uygun bulunmuştur. Çalışma sırasında toplanmış olan alan problemleri ve üstün yöntemler, araştırma tabanlı yazılım projelerinde yer almak isteyen proje yöneticileri, takım üyeleri, üniversiteler ve destekleyici kurumlara öneriler olarak bir çerçevede sunulmuştur. Bu öneriler kullanılarak ilerde gerçekleştirilecek olan benzeri projelerin verimlilikleri artırılabilir.
Araştırma temelli yazılım geliştirme projeleri için scrum metodolojisinin değiştirilmesi
(2021) Alkharam, Ahmed Alı Salem; Karakaya, Ziya; Yazıcı, Ali; Computer Engineering
Farklı boyutlardaki yazılım geliştirme projeleri, genellikle belirli bir yazılım geliştirme süreci yönetimini takip eden bir grup insan tarafından, proje içindeki grubunu yönetmek ve proje sürecini takip etmek için yürütülür. Yazılım geliştirme metodolojileri (SDM) bu tür projeler için özel olarak tasarlanmıştır. Ancak, farklı türlerde araştırma tabanlı yazılım geliştirme projelerini yönetmek için geliştirilmiş özel bir yöntem yoktur. Bu nedenle, bu çalışma, araştırma tabanlı yazılım geliştirme projeleri için Scrum metodolojisinin değiştirilip değiştirilemeyeceğini araştırmak için sistematik bir literatür taraması yapmayı, Scrum yöntemi benimsenirken projelerde ortaya çıkan zorlukları ve bu zorluklar için önerilen çözümleri belirlemeyi ve son olarak Araştırmaya dayalı yazılım geliştirme projeleri için Scrum yönteminin örnek uygulamalarını belirlemektedir. Bu amaçla üç ana araştırma sorusu belirlenmiş ve sonuçlar tez kapsamında sunulmuştur.
Atılım Üniversitesi için akademik personel değerlendirme sistemi geliştirimi
(2008) Eryılmaz, Meltem; Karakaya, Ziya; Computer Engineering; Computer Engineering; Computer Engineering
Bu tez Atılım Üniversitesi için bir Akademik Personel Değerlendirme Sistemi Geliştirimi çalışmasıdır. Son yıllarda yurtdışındaki pek çok üniversitede olduğu gibi, Türkiye`deki üniversitelerde de, kalite geliştirme çalışmaları artmakta ve üniversite yönetimlerinde önemli bir gündem maddesi oluşturmaktadır. Çalışmanın başlangıcında,Türkiye'deki üniversitelerde Akademik Personelin değerlendirilmesine ilişkin bir araştırma yapılmış, farklı bölgelerden üniversiteler seçilerek ilgili birimleri ile irtibat kurulmuştur. Görüşmelerin sonucunda, akademik personelin yıllık çalışmalarını Word dökümanı olarak ya da elle doldurdukları ve üniversite sekreterliklerine gönderdikleri görülmüştür. Birçok üniversitede bu formlarla ilgili bir standart olmadığı için formların usule uygun doldurulmadığı tespit edilmiştir.Atılım Üniversitesinde de akademik personel değerlendirme işlemi, Word dökümanı olarak hazırlanan formların personel tarafından doldurulup üniversite sekreterliklerine gönderilmesi sureti ile yürümektedir. Üniversite üst yönetimi ile yapılan görüşmeler sonucunda çevirimiçi bir akademik personel değerlendirme sisteminin üniversitenin yararına olacağı düşüncesi ile bu sistem geliştirilmiştir.Bu çalışmanın sonucunda bir yazılım geliştirilmiştir. Yazılım geliştirilirken yazılım mühendisliği metodolojileri kullanılmıştır. Sistem web tabanlı bir uygulama olduğu için web teknolojilerinden de faydalanılmıştır.
Citation Count: 1
Big Data on Cloud for Government Agencies: Benefits, Challenges, and Solutions
(Assoc Computing Machinery, 2018) Rashed, Alaa Hussain; Karakaya, Ziya; Yazici, Ali; Software Engineering; Computer Engineering
Big Data and Cloud computing are the most important technologies that give the opportunity for government agencies to gain a competitive advantage and improve their organizations. On one hand, Big Data implementation requires investing a significant amount of money in hardware, software, and workforce. On the other hand, Cloud Computing offers an unlimited, scalable and on-demand pool of resources which provide the ability to adopt Big Data technology without wasting on the financial resources of the organization and make the implementation of Big Data faster and easier. The aim of this study is to conduct a systematic literature review in order to collect data to identify the benefits and challenges of Big Data on Cloud for government agencies and to make a clear understanding of how combining Big Data and Cloud Computing help to overcome some of these challenges. The last objective of this study is to identify the solutions for related challenges of Big Data. Four research questions were designed to determine the information that is related to the objectives of this study. Data is collected using literature review method and the results are deduced from there.
Bulut bilişim destekli büyük verinin KOBİ'ler ve devlet kuruluşları için yarattığı olanaklar ve zorluklar
(2018) Rashed, Alaa Hussaın Rashed; Karakaya, Ziya; Yazıcı, Ali; Computer Engineering
Büyük Veri ve Bulut Bilişim, KOBİ'lere ve devlet kurumlarına rekabet avantajı kazandırmak ve kuruluşlarını iyileştirme fırsatı veren en önemli teknolojilerdendir. Bir yandan Büyük Veri uygulaması büyük oranda donanım, yazılım ve işgücü yatırımı gerektirirken, diğer yandan Bulut bilişim kuruluşlara yatırım maliyetini büyük oranda düşürecek Büyük Veri uygulama olanakları sunmaktadır. Böylelikle KOBİ ve Devlet kurumlarının Büyük Veri uygulamalarını hızlı ve kolay bir şekilde hayata geçirmeleri konusunda fırsatlar sunmakta ve özendirmektedir. Bu çalışmanın amacı, sistematik alanyazın tarama tekniğini kullanarak veriler toplamak ve bu verilere dayanarak KOBİ'ler ve devlet kurumları için Bulut üzerinde Büyük Veri yapılarının yararları, zorlukları ve çözümlerini belirlemektir. Büyük Veri'de karşılaşılan zorulukların bir bölümünün Bulut Bilişim ile nasıl çözülebildiği net bir şekilde ortaya konulmaktadır. Bu çalışmanın amaçlarıyla ilgili bilgileri derlemek için dört araştırma sorusu tasarlanmış ve ilgili veriler alanyazın tarama yöntemi kullanılarak toplanarak sonuçlar derlenmiştir. Anahtar Kelimeler: Büyük Veri, Bulut Bilişim, KOBİ, Devlet Daireleri, Faydalar, Zorluklar, Çözümler
Bulut üzerinde büyük verilerde ölçeklenebilirlik konusu: Sanal makineler ve Linux konteynerlerin karşılaştırılması
(2017) Gökhan, Cansu; Karakaya, Ziya; Yazıcı, Ali; Computer Engineering
Son yıllarda, BT ve iş dünyasında Büyük Veri ve Bulut Bilişim önem kazanmıştır. Büyük veri analizi için gerekli olan büyük miktarda depolama alanı ve hesaplama gücüdür. Bulut Bilişimin, talep üzerine altyapıyı ölçeklendirmek, hesaplama kaynaklarını kullanmaya yardımcı olmak ve büyük miktarda depolama alanı sağlaması ile bu iki teknoloji birbirini tamamlayacı teknolojiler haline gelmiştir. Son yıllara kadar, hesaplama kaynak kullanımında kullanılan tek teknik, Sanal Makine oluşturmak için kullanılan, hipervisör destekli sanallaştırma tekniğine dayanıyordu. Günümüzde, konteyner olarak adlandırılan ve kaynak kullanımında daha hızlı ve daha iyi olan bir başka teknik popülerlik kazanmıştır. Bu çalışmada, bulut üzerinde büyük verilerde ölçeklendirme konusu sanal makine ve konteynerlerin merkezi işlem birimi, disk G/Ç, ağ ve bellek performansları HiBench kıyaslama uygulamaları kullanılarak değerlendirilmiştir. Ayrıca, farklı düğüm sayıları üzerinde bu kıyaslama uygulamaları kullanılarak sanal makine ve konteynerlerin ölçeklenebilirlik oranları değerlendirilmiştir. Bu çalışmanın sonucu konteynerlerin daha iyi performansa ve ölçeklenebilirliğe sahip olduğunu göstermektedir.
Büyük verı çerçevelerınde kullanılan zamanlayıcıların karşılaştırılması
(2018) Al-jumaılı, Saıf Abdulrahman Mohammed; Karakaya, Ziya; Yazıcı, Ali; Computer Engineering
Büyük Veri uygulamaları, mevcut bilgi teknolojisi sektörünün ana bileşenlerinden biri haline gelmiş ve birçok alanda karar vericilere en iyi sonuçları elde etme fırsatı tanımıştır. Bununla birlikte, bu tür verilerin kullanılmasında gereksinim duyulan hız, depolama, yönetim ve işleme gibi konularda geleneksel veri tabanı sistemlerinin yeterli olmadığını bilinmektedir. Kaynak yönetimi ve görev zamanlaması, bu türden büyük ölçekteki verilerin işlenmesinde önemli bir rol oynamaktadır. Bu konuda; özelliklerine, etkililiğine, performansına, v.b. bağlı olarak farklı sınıflarda zamanlayıcılar bulunmaktadır. Bu tezde, Büyük Veri çerçevelerinde çalışan çeşitli zamanlayıcılar ayrıntılı olarak sınıflandırılmış, karşılaştırılmış ve incelenmiştir. Ayrıca bu tez, bu zamanlayıcıların farklı kullanım durumlarındaki zayıflık ve güçlü yanları ortaya koymaktadır. Bunlara ek olarak, zamanlayıcıların kullanım alanlarına göre uygunluğuna ilişkin senaryolar incelemiş olup, bu durumlarda herbir zamanlayıcının ne türden zayıflıklığı yada yararsızlığı olduğu saptanmaya çalışılmıştır.
Çevik yazılım geliştirme yöntemleri: Karşılaştırmalı bir çalışma
(2018) Abakar, Adoum Choukou; Karakaya, Ziya; Computer Engineering
Yazılım sistemleri yıllardır modern toplumun bir parçası olmuştur. Günümüz teknolojisinde en hızlı büyüyen disiplinlerden biri olan yazılım mühendisliği, günlük yaşamımızın muazzam ilerlemesinin ayrılmaz bir parçası haline geliyor ve neredeyse tüm yaşam disiplinlerinde kullanılıyor. Çevik yazılım geliştirme metodolojileri, yazılım sistemlerinin daha hızlı ve daha yüksek kalitede üretilmesi sayesinde neredeyse tüm yazılım şirketlerinde büyük ölçüde uygulanmaktadır. Dahası, Çevik yöntemler, güvenilir yazılım sistemlerinin hızlı ve sürekli teslimatı ile müşterilerin memnuniyetini her zaman karşılamaktadır. Bu çalışmanın amacı, farklı Çevik yazılım metodolojilerinin kullanım alanı ve farklı proje türlerine uygunluğunu belirtmek için sistematik bir literatür taraması yapmaktır. Ayrıca, popülerlik, farklılıkları ve benzerlikleri de dahil olmak üzere farklı Çevik yazılım geliştirme metodolojileri hakkında kapsamlı bilgileri belirlemek ve sağlamak için araştırmanın amacı dahilindedir. Son olarak araştırma, literatür incelemesinden elde edilen mevcut Çevik yazılım yöntemleri kanıtlarını özetlemekte, fayda ve sınırlamalarını belirtmektedir. Bu araştırmanın amacına ulaşmak için beş soru tasarlandı, veri toplandı ve bu çalışma için yaptığımız kapsamlı literatür taramasına dayanarak sonuçlar da hazırlandı.
Citation Count: 2
Changing our educational institutions: transition from traditional to e-Learning programs
(Ieee, 2004) Yazici, A; Karakaya, Z; Dalgarno, B; Altas, I; Computer Engineering
In this. paper we examine basic elements of e-Learning, the features of the e-Learning model under implementation at Atilim University and the expected impact of the model on the organization of the institution. The paper also draws on examples at other institutions in discussing the issues that. form the dynamics of organizational change within Universities in the 21(st) century.
Citation Count: 2
Changing our educational institutions: Transition from traditional to e-Learning programs
(2004) Yazici,A.; Karakaya,Z.; Dalgarno,B.; Altas,I.; Computer Engineering; Software Engineering
In this paper we examine basic elements of e-Learning, the features of the e-Learning model under implementation at Atilim University and the expected impact of the model on the organization of the institution. The paper also draws on examples at other institutions in discussing the issues that form the dynamics of organizational change within Universities in the 21st century. © 2004 IEEE.
Citation Count: 29
A Comparison of Stream Processing Frameworks
(Ieee, 2017) Karakaya, Ziya; Yazici, Ali; Alayyoub, Mohammed; Computer Engineering; Software Engineering
This study compares the performance of Big Data Stream Processing frameworks including Apache Spark, Flink, and Storm. Also, it measures the resource usage and performance scalability of the frameworks against a varying number of cluster sizes. It has been observed that, Flink outperforms both Spark and Storm under equal constraints. However, Spark can be optimized to provide the higher throughput than Flink with the cost of higher latency.
Citation Count: 22
A Comparison of Stream Processing Frameworks
(Institute of Electrical and Electronics Engineers Inc., 2017) Karakaya,Z.; Yazici,A.; Alayyoub,M.; Software Engineering; Computer Engineering
This study compares the performance of Big Data Stream Processing frameworks including Apache Spark, Flink, and Storm. Also, it measures the resource usage and performance scalability of the frameworks against a varying number of cluster sizes. It has been observed that, Flink outperforms both Spark and Storm under equal constraints. However, Spark can be optimized to provide the higher throughput than Flink with the cost of higher latency. © 2017 IEEE.
Citation Count: 22
A Comparison of Stream Processing Frameworks
(Institute of Electrical and Electronics Engineers Inc., 2017) Karakaya,Z.; Yazici,A.; Alayyoub,M.; Software Engineering; Computer Engineering
This study compares the performance of Big Data Stream Processing frameworks including Apache Spark, Flink, and Storm. Also, it measures the resource usage and performance scalability of the frameworks against a varying number of cluster sizes. It has been observed that, Flink outperforms both Spark and Storm under equal constraints. However, Spark can be optimized to provide the higher throughput than Flink with the cost of higher latency. © 2017 IEEE.
Endüstri 4.0 ile dijital dönüşüm: Türkiye örnek incelemesi
(2019) Elitok, Eda; Karakaya, Ziya; Computer Engineering
Dördüncü sanayi devrimi, Nesnelerin İnterneti (IoT) yada Endüstriyel Nesnelerin İnterneti olarak da bilinen Endüstri 4.0., endüstrileri dünya çapında dönüştürmede büyük bir itici güç haline gelmiştir. Bu hareket başlangıçta Almanya'nın ileri teknoloji imalat endüstrisinin stratejilerinde ortaya çıkmıştır. Endüstri 4.0'a daha geniş bir perspektiften baktığımızda, bulut teknolojisi, nesnelerin interneti, artırılmış gerçeklik, katmanlı üretim, otonom robotlar, simülasyon, sistem entegrasyonu, siber güvenlik ve büyük veri gibi bir dizi kavramı içeren entegre bir süreç görüyoruz. Bu şekilde, geleneksel üretim yöntemleri ve dijital işlemler, üretim için farklı aşamalar ve yöntemler izlenerek gerçekleştirilebilir. Sonuç olarak, hem sosyal hem de ekonomik yaşamları birçok farklı boyutta etkilemesi muhtemel olan tüm bu süreçlerin dijitalleşmesi birçok sektör için kaçınılmaz hale gelmiştir. Bu tür bir dönüşüme ayak uyduramayan şirketler, talepleri karşılamak için iş süreçlerini yönetmede artan zorluklarla karşılaşabilirler. Bu araştırmada, Dijital Dönüşümün Endüstri 4.0'a doğru bir üretim tesisi üzerindeki olumlu etkilerini analiz etmek ve ilgili dönüşüm sonucunun dinamiklerini açıklamak için bir vaka çalışması yapılmıştır. Ayrıntılı olarak, bir alüminyum üretim tesisinde gerçekleştirilen dijital dönüşüm işlemlerinin hem öncesi hem de sonrası değerlerle karşılaştırılmasıyla, dijital dönüşümün Endüstri 4.0'a doğru seyri ile ilgili bir analiz yapılmıştır. Araştırmada toplanan veriler, IMPULS [1] tarafından sağlanan 'Çevrimiçi Endüstri 4.0 Hazırlık Endeksi' uygulaması kullanılarak ölçümlenmiş ve sonuçlar Eti Alüminyum'un ortalamada beş üzerinden ikinci seviyede olduğunu göstermiştir. Bu sonuç, Eti Alüminyum'un orta düzeyde Endüstri 4.0 aktivitelerini uygulamış olduğunu göstermektedir. Anahtar Kelimeler: Dijital Dönüşüm, Endüstri 4.0, Endüstriyel Nesnelerin İnterneti
Citation Count: 0
Informatics Engineering Education in Turkey and Expectations of Software Industry
(Ieee, 2018) Yazici, Ali; Mishra, Alok; Karakaya, Ziya; Ustunkok, Tolga; Software Engineering; Computer Engineering
In this study, using the OSYM data, the number of intakes in Informatics Engineering programs in Turkey, accreditation data and the medium of instruction of the program are summarized for the years 2016 and 2017. In addition, the software sector's expectations from the informatics engineering graduates are reassessed based on the academic studies. The developed knowledge-skill gap set was used to evaluate the situation in Turkish informatics engineering programs. Sector expectations are discussed in the context of 2017-2019 Turkey Software Sector Strategy and Action Plan prepared by the Ministry of Science, Industry and Technology of Turkey and some proposals are made for the academia. As a result, it was observed that the expectations of the software industry were similar in all studies. Additionally, the expectations were changed in the direction of developing technologies and this change should be reflected in the informatics engineering programs.
Citation Count: 0
Informatics Engineering Education in Turkey and Expectations of Software Industry;
(Institute of Electrical and Electronics Engineers Inc., 2018) Yazici,A.; Mishra,A.; Karakaya,Z.; Ustunkok,T.; Software Engineering; Computer Engineering
In this study, using the ÖSYM data, the number of intakes in Informatics Engineering programs in Turkey, accreditation data and the medium of instruction of the program are summarized for the years 2016 and 2017. In addition, the software sector's expectations from the informatics engineering graduates are reassessed based on the academic studies. The developed knowledge-skill gap set was used to evaluate the situation in Turkish informatics engineering programs. Sector expectations are discussed in the context of 2017-2019 Turkey Software Sector Strategy and Action Plan prepared by the Ministry of Science, Industry and Technology of Turkey and some proposals are made for the academia. As a result, it was observed that the expectations of the software industry were similar in all studies. Additionally, the expectations were changed in the direction of developing technologies and this change should be reflected in the informatics engineering programs. © 2018 IEEE.
Citation Count: 11
JMathNorm: A database normalization tool using mathematica
(Springer Verlag, 2007) Yazici,A.; Karakaya,Z.; Software Engineering; Computer Engineering
This paper is about designing a complete interactive tool, named JMathNorm, for relational database (RDB) normalization using Mathematica. It is an extension of the prototype developed by the same authors [1] with the inclusion of Second Normal Form (2NF), and Boyce-Codd Normal Form (BCNF) in addition to the existing Third normal Form (3NF) module. The tool developed in this study is complete and can be used for real-time database design as well as an aid in teaching fundamental concepts of DB normalization to students with limited mathematical background. JMathNorm also supports interactive use of modules for experimenting the fundamental set operations such as closure, and full closure together with modules to obtain the minimal cover of the functional dependency set and testing an attribute for a candidate key. JMathNorm's GUI interface is written in Java and utilizes Mathematica's JLink facility to drive the Mathematica kernel. © Springer-Verlag Berlin Heidelberg 2007.
Citation Count: 7
JMathNorm: A database normalization tool using mathematica
(Springer-verlag Berlin, 2007) Yazici, Ali; Karakaya, Ziya; Computer Engineering; Software Engineering
This paper is about designing a complete interactive tool, named JMathNorm, for relational database (RDB) normalization using Mathematica. It is an extension of the prototype developed by the same authors [1] with the inclusion of Second Normal Form (2NF), and Boyce-Codd Normal Form (BCNF) in addition to the existing Third normal Form (3NF) module. The tool developed in this study is complete and can be used for real-time database design as well as an aid in teaching fundamental concepts of DB normalization to students with limited mathematical background. JMathNorm also supports interactive use of modules for experimenting the fundamental set operations such as closure, and full closure together with modules to obtain the minimal cover of the functional dependency set and testing an attribute for a candidate key. JMathNorm's GUI interface is written in Java and utilizes Mathematica's Mink facility to drive the Mathematica kernel.