DB RelationalAlgebra vs NameTheory

A native iPad and iPhone app that converts a SQL query typed, pasted, or imported from a .sql file into relational algebra, tuple relational calculus and domain relational calculus. Each notation gets a step by step derivation, a final oneline formula, and an interactive diagram an operator tree for the algebra, a quantifier scope tree for the calculus and a fourth view stacks all three against the same query. Whatever SQL asks for that a notation cannot express exactly is reported rather than quietly approximated.

NameTheory is a domain name search tool for developers and creators. NameTheory uses AI to help you brainstorm name ideas and instantly looks up available web domains for those names and variations of them. All you have to do is add a few starter words that you like and NameTheory will suggest more words matching your theme and look up variations of all your words for available web domains across dozens of top-level domains like .com, .app, .ai and many more. Features: - Automatically searches available domains across hundreds of top-level domains for your names - Set up domain alerts to be notified if a domain becomes available - Uses AI to generates variations of your names and searches for their availability - Tries common "domain hacks" to find available names (getname.com, nameapp.com, getna.me, etc.) - Displays pricing for available domains - Searches App Store for similar names - Searches Instagram, TikTok, BlueSky, X/Twitter, Reddit, and GitHub for available handles - No AI subscription required, everything runs on your device using Apple's on-device AI - All your data is private and stored locally on your device or synced via your iCloud account