Studying Alloy Analyzer for relational database